On 31/01/2020 21:45, David Kastrup wrote:
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...
All pushed :D - although mine was beaten by someone else's patchy.
James
