summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--issues/mirror-on-github.gmi5
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.