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
