cURL / Mailing Lists / curl-library / Single Mail


Github use

From: Patrick Monnerat <>
Date: Mon, 19 Apr 2010 18:06:36 +0200

I keep a local working copy of curl and make update on it.
After commit (local), I have to push to the github server.
If someone made pushes in the meantime, github rejects my push: some
refs cannot be pushed (non fast-forward rejected).
Thus I have to pull before push.
This works fine, but the pull leaves an inelegant track on the github
server and on the page:
                Merge branch 'master' of
How to avoid it ? You should all know the trick since it seems I'm the
only one with this problem !
List admin:
Received on 2010-04-19