![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| set-up-all-post-receive-hooks.sh | 2016-12-05 17:33 | 336 | |
| github-mirror.socket | 2016-12-06 01:29 | 208 | |
| signal-github-mirror | 2016-12-06 02:25 | 44 | |
| set-up-post-receive-hooks.sh | 2016-12-06 02:27 | 545 | |
| github-mirror.service | 2016-12-06 02:31 | 177 | |
| mirror-all-to-github.sh | 2016-12-06 03:10 | 285 | |
| github-mirror | 2016-12-06 03:10 | 232 | |
| close-all-github-pull-requests.sh | 2016-12-07 19:03 | 286 | |
| close-github-pull-requests.service | 2016-12-07 19:06 | 149 | |
| close-github-pull-requests.timer | 2016-12-07 19:10 | 156 | |
| enable-github-mirror.sh | 2016-12-07 19:10 | 348 | |
| new-git-repo.sh | 2016-12-07 19:19 | 319 | |
| github-mirror.conf | 2017-03-20 19:54 | 79 | |
| clean-up-bad-named-entries.sh | 2017-03-20 20:47 | 464 | |
| clean-users-entries.sh | 2017-03-20 20:59 | 381 | |
| REMEMBER-TO-UPDATE-SYSTEMD-UNIT-FILE-COPIES | 2018-01-11 11:34 | 250 | |
| ssh-key | 2020-06-02 18:11 | 399 | |
| ssh-key.pub | 2020-06-02 18:11 | 93 | |
| close-github-pull-requests | 2020-06-03 10:18 | 6.7K | |
| sync-github-mirror | 2021-08-19 12:33 | 6.7K | |