diff options
Diffstat (limited to 'github-mirror.sh')
| -rw-r--r-- | github-mirror.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/github-mirror.sh b/github-mirror.sh deleted file mode 100644 index 5d9cb00..0000000 --- a/github-mirror.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -# Should mirror a gitea repo into github using the public API |