I had chosen to 'Initialize this repository with a README'. This meant I ended up with two heads, which I couldn't hg merge
because one had a bookmark.
To get pushing working, I had to:
- configure hg-git and github remote as per https://blog.glyphobet.net/essay/2029
- pull from github and update
- force the merge (checking which id to use with
hg heads
),
- commit the merge
- add a trivial change to a file (add a space char to the end),
- commit, then
- move the bookmark to the tip
- push to my configured github remote
This ended up with commands as follows (substituting in <x>
sections)
hg pull github
hg update
hg merge <revision-id-of-incoming-git-version>
hg addremove
hg commit -m 'merged with github'
# make some trivial change to a file - eg add a space where it doesn't cause harm
hg add <changed-file>
hg commit -m 'trivial change'
hg bookmark -f master
hg push github
make sure you pick the remote revision for the merge above - if you don't it doesn't work!