diff options
| -rw-r--r-- | issues/mirror-on-github.gmi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/issues/mirror-on-github.gmi b/issues/mirror-on-github.gmi new file mode 100644 index 0000000..db39c38 --- /dev/null +++ b/issues/mirror-on-github.gmi @@ -0,0 +1,5 @@ +# Mirror on GitHub + +* tags: infrastructure + +Mirror project repository on GitHub for wider visibility. We will not use the GitHub issue tracker or any of its other proprietary features. We will merely use it for hosting our git repository. |