Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at