[postgis-devel] timewarp in git repo

[Sandro Santilli]

UPDATE: all mirrors are now fine (I had to lift branch protection
        to allow timewarp, now branch protection is back)

--strk;

On Wed, Oct 30, 2019 at 02:42:02PM +0100, Sandro Santilli wrote:
> 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.