diff options
Diffstat (limited to 'modules/tozt/files/post-receive')
| -rwxr-xr-x | modules/tozt/files/post-receive | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/modules/tozt/files/post-receive b/modules/tozt/files/post-receive index 9d909a4..2f26f7c 100755 --- a/modules/tozt/files/post-receive +++ b/modules/tozt/files/post-receive @@ -5,12 +5,4 @@ set -o pipefail mkdir -p info/web git for-each-ref --sort=committerdate --format='%(committerdate)' refs/heads | tail -n1 > info/web/last-modified -# XXX github accepts pushes of things under refs/remotes (and presumably just -# ignores them), but gitlab throws an error when you do this. as far as i can -# tell though, --mirror is the only way to keep the list of branches in sync -# (like, delete remote branches when the local branch is deleted, etc), and -# there's no way to configure the set of refs when using --mirror, so this is -# probably the best i can do for now -rm -rf refs/remotes -git push --mirror gitlab git push --mirror github |