| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | github-mirror | 232 | logplain |
| -rw-r--r-- | github-mirror.service | 177 | logplain |
| -rw-r--r-- | github-mirror.socket | 208 | logplain |
| -rwxr-xr-x | mirror-all-to-github.sh | 285 | logplain |
| -rwxr-xr-x | new-git-repo.sh | 273 | logplain |
| -rwxr-xr-x | set-up-all-post-receive-hooks.sh | 336 | logplain |
| -rwxr-xr-x | set-up-post-receive-hooks.sh | 545 | logplain |
| -rwxr-xr-x | signal-github-mirror | 44 | logplain |
| -rwxr-xr-x | sync-github-mirror | 6703 | logplain |
 |
index : github-mirror | |
| scripts for managing git related tasks on git.freedesktop.org | root |
| summaryrefslogtreecommitdiff |