Jonas Hahnfeld <hah...@hahnjo.de> 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. Process and scripts have seen some refinement over the years... -- David Kastrup
