Re: [boost] [GitHub] Transferring a new library's repo to boostorg?

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.

Niall

-- 
ned Productions Limited Consulting
http://www.nedproductions.biz/ 
http://ie.linkedin.com/in/nialldouglas/