Two way git mirror: Difference between revisions
Content deleted Content added
imported>Hendrik Brummermann Created page with "== Motivation == == Setup == == Mirror == We use the following script to do the actually mirroring. It can be invoked with the name of a known repository as parameter or wi..." |
imported>Hendrik Brummermann added support for tags |
||
| (35 intermediate revisions by the same user not shown) | |||
Line 1:
This articles describes how to setup a two way mirror of git repositories. I hope this article will be helpful as it works around a number of caveats for two way git mirrors.
== Setup ==
We create a clone from either of the upstream repositories. It is important that the repository is bare.
== Mirror ==▼
<source lang="bash">
cd /srv/gitsync
git clone --bare git@github.com:[account]/[repository].git
mv [repository].git [repository]
</source>
Now we delete remote "origin" and configure a remote setting for each upstream repository instead:
<source lang="bash">
cd [repository]
git remote remove origin
git remote add github git@github.com:[account]/[repository].git
git remote add sourceforge ssh://[account]@git.code.sf.net/p/[repository]/code
</source>
The mirroring should happen right after changes have been pushed to one of the repositories. Therefore a webhook is required to trigger the mirror script.
On Sourceforge a project admin needs to enable it at Admin -> Tools -> Repository -> Webhooks. On Github it is at Settings -> Webhooks & Services -> Add Webhook.
▲== Mirror scripts ==
We use the following script to do the actually mirroring. It can be invoked with the name of a known repository as parameter or with the "--all" flag.
Line 17 ⟶ 37:
git fetch --all -p
# push branches from sourceforge to github and via versa.
git push github "refs/remotes/sourceforge/*:refs/heads/*" "refs/tags/*:refs/tags/*"
git push sourceforge "refs/remotes/github/*:refs/heads/*" "refs/tags/*:refs/tags/*"
}
Line 56 ⟶ 76:
// validate repository name to prevent injection and traversing attacks
$repo = $_REQUEST['repository'];
if (!preg_match('/^[a-zA-Z0-9]+$/', $repo)) {
die('invalid repository name');
}
Line 63 ⟶ 83:
system('sudo -Hu gitsync /usr/local/bin/gitsync '.$repo);
</source>
== Security ==
Line 72 ⟶ 91:
== Deleting branches ==
There is one caveat: Deletion of branches is not mirrored, but deleted branches are resurrected by the mirror script.
To delete a branch for good, the following commands need to be executed in quick succession.
<source lang="bash">
git branch -d [branchName]
git push github --delete [branchName]
git push sourceforge --delete [branchName]
</source>
| |||