From 10d3b7287d12078aad009b0d85f9395a21c0bbf1 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 1 Jun 2023 12:34:58 +0100 Subject: Update hooks --- conf/gitolite.conf | 2 +- local/hooks/repo-specific/pred-tv-mirror | 2 +- local/hooks/repo-specific/srht-mirror | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 3392ae5..091e998 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -12,7 +12,7 @@ @srht-mirror = vericert-kvx ymhg-notes ox-tufte private/zk private/biteq compcert-kvx @srht-mirror = org-zettelkasten zk-visual zk-web zk-theme -@pred-tv-mirror = cohpred SMTCoq +@pred-tv-mirror = cohpred forks/smtcoq @compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr 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:') -- cgit