chore: Replace remaining mentions of ##tvl[-dev] with #tvl

... and fix the capitalisation of hackint

Change-Id: I800aef75152d2dc77a33876888e36530143e9d3e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3148
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: sterni <sternenseemann@systemli.org>

README.md

@@ -102,10 +102,10 @@ If you'd like to contribute to any of the tools in here, please check out the
 [contribution guidelines](./docs/CONTRIBUTING.md) and our [code of
 conduct](./docs/CODE_OF_CONDUCT.md).
 
-IRC users can find us in [`#tvl`](tvl-irc) on [HackInt][], which is also
+IRC users can find us in [`#tvl`](tvl-irc) on [hackint][], which is also
 reachable [via XMPP][hackint-xmpp] at [`#tvl@irc.hackint.org`][tvl-xmpp] (sic!).
 
-HackInt also provide a [web chat][tvl-webchat].
+Hackint also provide a [web chat][tvl-webchat].
 
 [monorepo]: https://en.wikipedia.org/wiki/Monorepo
 [tvl]: https://tvl.fyi
@@ -115,7 +115,7 @@ HackInt also provide a [web chat][tvl-webchat].
 [tvix]: https://cs.tvl.fyi/depot/-/blob/third_party/nix/README.md
 [dottime]: https://dotti.me
 [tvl-irc]: ircs://irc.hackint.org:6697/#tvl
-[HackInt]: https://hackint.org/
+[hackint]: https://hackint.org/
 [hackint-xmpp]: https://hackint.org/transport/xmpp
 [tvl-xmpp]: xmpp:#tvl@irc.hackint.org?join
 [tvl-webchat]: https://webirc.hackint.org/#ircs://irc.hackint.org/#tvl

docs/REVIEWS.md

@@ -111,7 +111,7 @@ themselves**.
 If you would like to have an account on the Gerrit instance, follow these
 instructions:
 
-1. Be a member of `##tvl-dev` or `##tvl`.
+1. Be a member of `#tvl` on [hackint][].
 2. Clone the depot locally (via `git clone "https://cl.tvl.fyi/depot"`).
 3. Create a user entry in our LDAP server in [ops/users][ops-users].
 
@@ -151,3 +151,4 @@ The email address is a [public group][].
 [guidelines]: ./CONTRIBUTING.md#commit-messages
 [ops-users]: ../ops/users/default.nix
 [public group]: https://groups.google.com/a/tazj.in/forum/?hl=en#!forum/depot
+[hackint]: https://hackint.org

users/grfn/emacs.d/irc.el

@@ -45,7 +45,7 @@
                   (string-match erc-noise-regexp
                                 message)))
          (or (and tvl-enabled?
-                  (string-equal erc-channel "##tvl"))
+                  (string-equal erc-channel "#tvl"))
              (string-match "grfn" message)))))
 
 (comment

users/tazjin/emacs/config/desktop.el

@@ -99,7 +99,7 @@
     ;; Quassel buffers
     ;;
     ;; These have a title format that looks like:
-    ;; "Quassel IRC - #tvl (HackInt) — Quassel IRC"
+    ;; "Quassel IRC - #tvl (hackint) — Quassel IRC"
     (`("quassel" ,title)
      (progn
        (if (string-match

web/panettone/src/panettone.lisp

@@ -513,7 +513,7 @@ given subject an body (in a thread, to avoid blocking)"
                  (irc:noping (cn *user*))
                  (id issue))
          :channel (or (uiop:getenvp "ISSUECHANNEL")
-                      "##tvl-dev"))
+                      "#tvl"))
         (hunchentoot:redirect "/"))))
 
 (defroute show-issue
@@ -590,7 +590,7 @@ given subject an body (in a thread, to avoid blocking)"
              (irc:noping (cn *user*))
              (link-to-issue id))
      :channel (or (uiop:getenvp "ISSUECHANNEL")
-                  "##tvl-dev"))
+                  "#tvl"))
     (send-email-for-issue
      id
      :subject (format nil "b/~A: \"~A\" closed by ~A"
@@ -614,7 +614,7 @@ given subject an body (in a thread, to avoid blocking)"
              (irc:noping (cn *user*))
              (link-to-issue id))
      :channel (or (uiop:getenvp "ISSUECHANNEL")
-                  "##tvl-dev"))
+                  "#tvl"))
     (send-email-for-issue
      id
      :subject (format nil "b/~A: \"~A\" reopened by ~A"