From 71d19030ef79ca04c06b6bd3468f1f699b6f1d8b Mon Sep 17 00:00:00 2001
From: jrn <jrnieder@gmail.com>
Date: Fri, 29 Sep 2023 15:15:44 -0700
Subject: [PATCH] community: #github is on IRC, not Discord

This paragraph accidentally moved to the wrong section in #1800. Thanks to arxanas for noticing.
---
 app/views/community/index.html.erb | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/app/views/community/index.html.erb b/app/views/community/index.html.erb
index b51b5e3cc3..5d2de049c0 100644
--- a/app/views/community/index.html.erb
+++ b/app/views/community/index.html.erb
@@ -84,14 +84,14 @@
     The <span class="highlight fixed">#git-devel</span> channel welcomes Git development discussion, and might be able to help you contribute to Git.
   </p>
 
-  <h2> Discord Server </h2>
-
   <p>
-    The <a href="https://discord.gg/GRFVkzgxRd">Git Community Discord Server</a> also has many knowledgeable and helpful people. Additionally, it provides a space to be able to voice chat about patches, designs, or anything else Git related.
+    If you need specific help about one of the for-profit Git hosting sites, you might try their own IRC channels (such as <span class="highlight fixed">#github</span> or <span class="highlight fixed">#gitlab</span>) on the same IRC server.
   </p>
 
+  <h2> Discord Server </h2>
+
   <p>
-    If you need specific help about one of the for-profit Git hosting sites, you might try their own IRC channels (such as <span class="highlight fixed">#github</span> or <span class="highlight fixed">#gitlab</span>) on the same IRC server.
+    The <a href="https://discord.gg/GRFVkzgxRd">Git Community Discord Server</a> also has many knowledgeable and helpful people. Additionally, it provides a space to be able to voice chat about patches, designs, or anything else Git related.
   </p>
 
   <h2> Newsletter </h2>