all is back to normal - the master has been restored, so we are good to go. If
you had pulled the master branch between the time of the incident and now, you
might want to re-fetch it and hard-reset your local branch against the remote.
On Fri, Apr 25, 2014 at 10:18PM, Konstantin Boudnik wrote: