pred-tv-mirror « repo-specific « hooks « local - gitolite-admin - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/local/hooks/repo-specific/pred-tv-mirror

blob: 19489b90e9851a69170122a1aac916f0ba60ef7b (plain)

1	`git push --mirror git@gitlab.inria.fr:pred-tv/$(echo $GL_REPO \| sed -r -e 's:(private/)?(forks/)?(.*):\3:')`