Am Freitag, den 31.01.2020, 22:45 +0100 schrieb David Kastrup: > Jonas Hahnfeld < > [email protected] > > 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
