Git repo commits re-done?

Phil Mayers p.mayers at imperial.ac.uk
Tue Oct 25 14:08:49 CEST 2011


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.

commit db07aa6696271293bf42e35acff2c2a7e1baf907
Author: Alan T. DeKok <aland at freeradius.org>
Date:   Sun Jul 10 17:30:54 2011 +0200

     Add connection pool API

     Currently unused, but it should be nice...

...changes to:

commit c45d143ca34064677d5212697cf061270e031262
Author: Alan T. DeKok <aland at freeradius.org>
Date:   Sun Jul 10 17:30:54 2011 +0200

     Add connection pool API

     Currently unused, but it should be nice...

...anyone know how I can fix my repo?



More information about the Freeradius-Devel mailing list