Re: pushed wrong branch

2020-01-31 Thread Jonas Hahnfeld
Am Freitag, den 31.01.2020, 22:45 +0100 schrieb David Kastrup: > 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

Re: pushed wrong branch

2020-01-31 Thread pkx166h
On 31/01/2020 21:45, David Kastrup wrote: Jonas Hahnfeld 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

Re: pushed wrong branch

2020-01-31 Thread David Kastrup
Jonas Hahnfeld 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... > > Sor

Re: pushed wrong branch

2020-01-31 Thread pkx166h
On 31/01/2020 21:02, Jonas Hahnfeld wrote: 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 ref

pushed wrong branch

2020-01-31 Thread Jonas Hahnfeld
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 ca