Two way git mirror: Difference between revisions
Jump to navigation
Jump to search
Content deleted Content added
imported>Hendrik Brummermann No edit summary |
imported>Hendrik Brummermann added support for tags |
||
| (22 intermediate revisions by the same user not shown) | |||
| Line 1: | 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. |
|||
{{TODO|introduction}} |
|||
== Motivation == |
|||
{{TODO|motivation}} |
|||
== Setup == |
== Setup == |
||
| Line 12: | Line 7: | ||
<source lang="bash"> |
<source lang="bash"> |
||
cd /srv/gitsync |
cd /srv/gitsync |
||
git clone -bare git@github.com:[account]/[repository].git |
git clone --bare git@github.com:[account]/[repository].git |
||
mv [repository].git [repository] |
mv [repository].git [repository] |
||
</source> |
</source> |
||
| Line 24: | Line 19: | ||
</source> |
</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. |
|||
{{TODO|Setup webhook at github and sourceforge}} |
|||
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 == |
== Mirror scripts == |
||
| Line 41: | Line 37: | ||
git fetch --all -p |
git fetch --all -p |
||
# push branches from sourceforge to github and via versa. |
# push branches from sourceforge to github and via versa. |
||
git push github "refs/remotes/sourceforge/*:refs/heads/*" |
git push github "refs/remotes/sourceforge/*:refs/heads/*" "refs/tags/*:refs/tags/*" |
||
git push sourceforge "refs/remotes/github/*:refs/heads/*" |
git push sourceforge "refs/remotes/github/*:refs/heads/*" "refs/tags/*:refs/tags/*" |
||
} |
} |
||
| Line 80: | Line 76: | ||
// validate repository name to prevent injection and traversing attacks |
// validate repository name to prevent injection and traversing attacks |
||
$repo = $_REQUEST['repository']; |
$repo = $_REQUEST['repository']; |
||
if (!preg_match('/^[a-zA-Z0-9]$/', $repo)) { |
if (!preg_match('/^[a-zA-Z0-9]+$/', $repo)) { |
||
die('invalid repository name'); |
die('invalid repository name'); |
||
} |
} |
||
| Line 87: | Line 83: | ||
system('sudo -Hu gitsync /usr/local/bin/gitsync '.$repo); |
system('sudo -Hu gitsync /usr/local/bin/gitsync '.$repo); |
||
</source> |
</source> |
||
== Security == |
== Security == |
||
| Line 97: | Line 92: | ||
== Deleting branches == |
== Deleting branches == |
||
There is one caveat: Deletion of branches is not mirrored, but deleted branches are resurrected by the mirror script. |
|||
{{TODO|deleting branches}} |
|||
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> |
|||