| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | clean-up-bad-named-entries.sh | 464 | logplain |
| -rwxr-xr-x | close-all-github-pull-requests.sh | 286 | logplain |
| -rwxr-xr-x | close-github-pull-requests | 6422 | logplain |
| -rw-r--r-- | close-github-pull-requests.service | 149 | logplain |
| -rw-r--r-- | close-github-pull-requests.timer | 156 | logplain |
| -rwxr-xr-x | enable-github-mirror.sh | 348 | logplain |
| -rwxr-xr-x | github-mirror | 232 | logplain |
| -rw-r--r-- | github-mirror.conf | 79 | 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 | 319 | 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 | 6778 | logplain |
 |
index : github-mirror | |
| scripts for managing git related tasks on git.freedesktop.org | root |
| summaryrefslogtreecommitdiff |