From 3a2f70632437a2048775dca95685dcfac306e0a3 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Fri, 14 Apr 2023 15:22:09 +0100
Subject: issues: Mirror on GitHub.

* issues/mirror-on-github.gmi: New issue.
---
 issues/mirror-on-github.gmi | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 issues/mirror-on-github.gmi

(limited to 'issues')

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.
-- 
cgit v1.2.3