Re: pushed wrong branch

[Jonas Hahnfeld]

Am Freitag, den 31.01.2020, 22:45 +0100 schrieb David Kastrup:
> Jonas Hahnfeld <
> address@hidden
> > writes:
> 
> > I accidentally pushed my branch for issue #5702 (Disable C++
> > exceptions) instead of issue #5690 (Tiny fixes for extractpdfmark).
> > I immediately reset staging and it now has the correct commits, fingers
> > crossed that patchy did not yet pick up the wrong refs...
> > 
> > Sorry for any inconvenience this may cause!
> 
> Patchy checks before pushing that the tested version of staging is still
> in the staging branch and fails if it isn't.  So you have a timing
> window for fixing things that is at least as large as the fastest Patchy
> doing duty can process all the tests.
> 
> If you managed to get the change out before it went to master, you
> should be good.

Ah, good to know. Yes, the commits have been in staging for at most 2
minutes, so all good.

Thanks,
Jonas

signature.asc
Description: This is a digitally signed message part