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: 64871470fd6c5bbcd7482e4ff230fd3240d19ddc (plain)

1	`git push --mirror git@gitlab.inria.fr:pred-tv/$GL_REPO.git`