index
:
gitolite-admin
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
local
/
hooks
/
repo-specific
/
srht-mirror
blob: 6d603fd6a3a8d69790ce3935b0357418e2d34c04 (
plain
)
1
git push --mirror git@git.sr.ht:~ymherklotz/$(echo $GL_REPO | sed -r -e 's:(private/)?(.*):\2:')