On 13 Aug 2014 at 15:28, Beman Dawes wrote:
However not all git repos live on github, and those need to be accounted for. Github provides an Import git repository, but it does a bare clone which loses important information like git notes.
Better to do it by hand instead:
git clone --mirror <originurl> git push --mirror <githuburl>
Thanks for the heads up! That's good to know.
I've been finding myself using git notes increasingly of late. They are actually very, very useful for passing state per commit/branch between automated scripts on an automated CI. It's a real shame git push doesn't have a flag for pushing notes - you have to do a manual refspec push which isn't natural for most people.
I'll write strawman wording, then ask you to review it.
Happy to help. Just ping me when you're ready. Niall -- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/