diff options
Diffstat (limited to 'local/hooks/repo-specific/pred-tv-mirror')
| -rwxr-xr-x | local/hooks/repo-specific/pred-tv-mirror | 2 |
1 files changed, 1 insertions, 1 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 |