Git repo commits re-done?

[Alan DeKok]

Phil Mayers wrote:
> Did something happen to the main git repo around July 10th ish? Since
> then, I'm unable to merge changes into my local "master"; several
> commits which I've already pulled have changed IDs e.g.

  Arran && I have been having warring commits.

  The repository on github should be definitive.  The one on
git.freeradius.org gets re-based, depending on typos...

  Alan DeKok.