Subject: Re: [boost] [GitHub] Transferring a new library's repo to boostorg?
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2014-08-13 20:15:57
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.
-- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk