[postgis-devel] timewarp in git repo

[Sandro Santilli]

Following some bogus commits pushed by Regina
I force-pushed a "rewind" of git history back
to commit 368d524d1118b9c6921b14cf74d19cc801e3cc5e
(from ~5 hours ago) and then pushed a cherry-picked
commit of Regina from one hour ago (63cc8b386)

The mirroring scripts did not work on force-pushd
due to protected branches being used. This still
has to be fixed.

If you need help to reset your local branches please
ask here. See git-reset.

--strk;