diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:34:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:34:58 +0100 |
commit | 10d3b7287d12078aad009b0d85f9395a21c0bbf1 (patch) | |
tree | ff8a6d5fd269411e68174e6359ee116e5a0b06fb /local | |
parent | b765f4e2be59c0091d2826861d89f746d2850088 (diff) | |
download | gitolite-admin-10d3b7287d12078aad009b0d85f9395a21c0bbf1.tar.gz gitolite-admin-10d3b7287d12078aad009b0d85f9395a21c0bbf1.zip |
Diffstat (limited to 'local')
-rwxr-xr-x | local/hooks/repo-specific/pred-tv-mirror | 2 | ||||
-rwxr-xr-x | local/hooks/repo-specific/srht-mirror | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/local/hooks/repo-specific/pred-tv-mirror b/local/hooks/repo-specific/pred-tv-mirror index 6487147..19489b9 100755 --- a/local/hooks/repo-specific/pred-tv-mirror +++ b/local/hooks/repo-specific/pred-tv-mirror @@ -1 +1 @@ -git push --mirror git@gitlab.inria.fr:pred-tv/$GL_REPO.git
\ No newline at end of file +git push --mirror git@gitlab.inria.fr:pred-tv/$(echo $GL_REPO | sed -r -e 's:(private/)?(forks/)?(.*):\3:')
\ No newline at end of file diff --git a/local/hooks/repo-specific/srht-mirror b/local/hooks/repo-specific/srht-mirror index 6d603fd..d514593 100755 --- a/local/hooks/repo-specific/srht-mirror +++ b/local/hooks/repo-specific/srht-mirror @@ -1 +1 @@ -git push --mirror git@git.sr.ht:~ymherklotz/$(echo $GL_REPO | sed -r -e 's:(private/)?(.*):\2:') +git push --mirror git@git.sr.ht:~ymherklotz/$(echo $GL_REPO | sed -r -e 's:(private/)?(forks/)?(.*):\3:') |