From 3288d85db725da36d6383a9a69d4232331ea5625 Mon Sep 17 00:00:00 2001
From: Matthew Gretton-Dann <matt@gretton-dann.org.uk>
Date: Sat, 30 Aug 2025 19:34:56 +0100
Subject: [PATCH] Update URIs following initial push

I changed the name of the repository in gitea so the URIs in the README,
dune-project, and partridge.opam files need updating.
---
 README.md      | 10 ++++++----
 dune-project   |  8 ++++----
 partridge.opam | 10 ++++------
 3 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/README.md b/README.md
index c115a63..ec2c60b 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Triangle Square Cubes
+# Partridge
 
 Following Matt Parker's Video on Squares of Triangle Numbers being sum of cubes,
 and the Partridge Problem: https://youtu.be/eqyuQZHfNPQ?si=hbOQdVKBC-jwvysk.
@@ -12,13 +12,15 @@ Apache-2.0 license.
 
 ## Running the code
 
-### Initial setup
+### Prerequisites
 
 Prerequisite is to have `git` and `opam` installed on the path.
 
+### Code checkout and setup.
+
 ```sh
-git clone ...
-cd triangle-square-cubes
+git clone https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git
+cd partridge
 opam switch create .
 opam update
 opam install . --deps-only
diff --git a/dune-project b/dune-project
index a2b7fca..dc58816 100644
--- a/dune-project
+++ b/dune-project
@@ -5,7 +5,7 @@
 (generate_opam_files true)
 
 (source
- (uri git+https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes.git))
+ (uri git+https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git))
 
 (authors "Matthew Gretton-Dann <matt@gretton-dann.org.uk>")
 
@@ -13,9 +13,9 @@
 
 (license Apache-2.0)
 
-(homepage https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes)
-(bug_reports https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes/issues)
-(documentation https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes)
+(homepage https://gitea.gretton-dann.org.uk/mgrettondann/partridge)
+(bug_reports https://gitea.gretton-dann.org.uk/mgrettondann/partridge/issues)
+(documentation https://gitea.gretton-dann.org.uk/mgrettondann/partridge)
 
 (package
  (name partridge)
diff --git a/partridge.opam b/partridge.opam
index 8c29e2b..5ded821 100644
--- a/partridge.opam
+++ b/partridge.opam
@@ -7,11 +7,10 @@ maintainer: ["Matthew Gretton-Dann <matt@gretton-dann.org.uk>"]
 authors: ["Matthew Gretton-Dann <matt@gretton-dann.org.uk>"]
 license: "Apache-2.0"
 tags: ["partridge-problem" "triangular-numbers"]
-homepage:
-  "https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes"
-doc: "https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes"
+homepage: "https://gitea.gretton-dann.org.uk/mgrettondann/partridge"
+doc: "https://gitea.gretton-dann.org.uk/mgrettondann/partridge"
 bug-reports:
-  "https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes/issues"
+  "https://gitea.gretton-dann.org.uk/mgrettondann/partridge/issues"
 depends: [
   "ocaml" {>= "5.3"}
   "ocaml-lsp-server" {dev}
@@ -37,6 +36,5 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo:
-  "git+https://gitea.gretton-dann.org.uk/mgrettondann/triangle-square-cubes.git"
+dev-repo: "git+https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git"
 x-maintenance-intent: ["(latest)"]