maint was accidentally hard-reset to master yesterday and pushed upstream, and a few of our own commits were then based on incorrect versions of maint and master, so we’ve had to force-push earlier versions of maint and master to correct it.
No work has been lost and all pull requests we’ve merged from outside contributors are still there, but you will need to reset your local copy of the maint and master branches. We’re sorry for the inconvenience.
Original announcement:
