Re: manpages.debian.org has been modernized!

2017-02-08 Thread Alexander Wirt
On Wed, 08 Feb 2017, Wouter Verhelst wrote:

> On Thu, Jan 19, 2017 at 06:20:30PM +0100, Michael Stapelberg wrote:
> > Would a mirror of the git repository on alioth be sufficient? I had
> > planned to set that up, but didn’t get around to it yet. Any help with
> > that would be very welcome.
> 
> I realize you've already done so, but for future reference, this is
> ridiculously easy for anyone who's a Debian Developer or otherwise has
> an account on alioth:
> 
> ssh to git.debian.org, and run:
> 
> mkdir -p public_git/repo.git
> cd public_git/repo.git
> git init --bare
> 
> log out again; then, in your local repository, run:
> 
> git remote add --mirror debian git.debian.org:public_git/repo.git
> git push debian
> 
> you're done.
> 
> Alternatively, if you don't want to push all branches, drop the --mirror
> part on the 'git remote add' thing, and add a branch to every "git push
> debian" command. This works for all remotes btw, not just the alioth
> ones.
> 
> Personally, I tend to push my code to multiple git hosting services,
> because it's so simple to do.
or you can just tell me and I will add it to the mirror section :) on git.d.o

Alex
 



Re: manpages.debian.org has been modernized!

2017-02-08 Thread Wouter Verhelst
On Thu, Jan 19, 2017 at 06:20:30PM +0100, Michael Stapelberg wrote:
> Would a mirror of the git repository on alioth be sufficient? I had
> planned to set that up, but didn’t get around to it yet. Any help with
> that would be very welcome.

I realize you've already done so, but for future reference, this is
ridiculously easy for anyone who's a Debian Developer or otherwise has
an account on alioth:

ssh to git.debian.org, and run:

mkdir -p public_git/repo.git
cd public_git/repo.git
git init --bare

log out again; then, in your local repository, run:

git remote add --mirror debian git.debian.org:public_git/repo.git
git push debian

you're done.

Alternatively, if you don't want to push all branches, drop the --mirror
part on the 'git remote add' thing, and add a branch to every "git push
debian" command. This works for all remotes btw, not just the alioth
ones.

Personally, I tend to push my code to multiple git hosting services,
because it's so simple to do.

-- 
< ron> I mean, the main *practical* problem with C++, is there's like a dozen
   people in the world who think they really understand all of its rules,
   and pretty much all of them are just lying to themselves too.
 -- #debian-devel, OFTC, 2016-02-12