summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArun Isaac2023-04-14 15:22:09 +0100
committerArun Isaac2023-04-14 15:22:09 +0100
commit3a2f70632437a2048775dca95685dcfac306e0a3 (patch)
tree3e05f70b3f8a561928079b889cb7bdf8435c2f39
parent7dee32c6320b98d56a7fa72f5d252d6ae7068f6e (diff)
downloadtissue-3a2f70632437a2048775dca95685dcfac306e0a3.tar.gz
tissue-3a2f70632437a2048775dca95685dcfac306e0a3.tar.lz
tissue-3a2f70632437a2048775dca95685dcfac306e0a3.zip
issues: Mirror on GitHub.
* issues/mirror-on-github.gmi: New issue.
-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.