cURL / Mailing Lists / curl-library / Single Mail


Unintended pushes to github repo

From: Marc Hörsken <>
Date: Sun, 17 Nov 2013 18:16:08 +0100

Hello everyone,

I just did an unintended push of all my local branches to the github
repository at [1].
Sorry for the inconvience, I already removed all those
old/obsolete/invalid branches.

Now I have to figure out why 'git push --all' didn't push to the
'origin' remote.

Best regards,

List admin:
Received on 2013-11-17