From ac114a071b0e75f71dee46e05a497a2ad8d78239 Mon Sep 17 00:00:00 2001
From: Runxi Yu <me@runxiyu.org>
Date: Thu, 13 Mar 2025 16:08:05 +0800
Subject: [PATCH] Change main repo URL

---
 README.md | 11 ++++++++---

diff --git a/README.md b/README.md
index 0ce28bc78effd76015e4d4e074d7bc14df0ddaa3..a7ba635a0b52d806a18c6532f9fd2d0774c935b0 100644
--- a/README.md
+++ b/README.md
@@ -10,6 +10,11 @@
 The `htmpl` module provides auxiliary functions used by the generated Hare
 code, and must be installed for the generated code to compile.
 
+## Repository migration notice
+
+The primary repository has been
+[migrated onto the Lindenii Project's forge](https://forge.lindenii.runxiyu.org/hare/:/repos/hare-htmpl/).
+
 ## Dependencies
 
 - [Hare](https://harelang.org)
@@ -24,12 +29,12 @@
 ## Contributing
 
 Create a branch that begins with `contrib/` and push to the
-[main repo](https://forge.runxiyu.org/hare/:/repos/hare-htmpl/)
+[main repo](https://forge.lindenii.runxiyu.org/hare/:/repos/hare-htmpl/)
 via SSH directly.
 
 ```
-git clone ssh://forge.runxiyu.org/hare/:/repos/hare-htmpl/
-cd chtmpl
+git clone ssh://forge.lindenii.runxiyu.org/hare/:/repos/hare-htmpl/
+cd hare-htmpl
 git checkout -b contrib/whatever
 # edit and commit stuff
 git push -u origin HEAD

-- 
2.48.1