Use case-insensitive string comparisons for org

Author: smillst

buildSrc/src/main/java/CloneOrUpdateRelatedTask.java

@@ -3,6 +3,8 @@
 import java.net.HttpURLConnection;
 import java.net.URI;
 import java.net.URL;
+import java.util.Locale;
+import java.util.Objects;
 import javax.inject.Inject;
 import org.eclipse.jgit.lib.Config;
 import org.eclipse.jgit.lib.ConfigConstants;
@@ -111,12 +113,27 @@ private void checkOrgBranch(File relatedRepoDir) {
   }
 
   /**
-   * A pair of {@code org} and {@code branch}
+   * A pair of {@code org} and {@code branch}. Because GitHub organizations are case-insensitive,
+   * {@code org} is compared using case-insensitive string comparisons.
    *
    * @param org a GitHub organization name
    * @param branch a branch name
    */
-  public record OrgBranch(String org, String branch) {}
+  public record OrgBranch(String org, String branch) {
+
+    @Override
+    public boolean equals(Object o) {
+      if (!(o instanceof OrgBranch other)) {
+        return false;
+      }
+      return org.equalsIgnoreCase(other.org) && branch.equals(other.branch);
+    }
+
+    @Override
+    public int hashCode() {
+      return Objects.hash(org.toLowerCase(Locale.ROOT), branch);
+    }
+  }
 
   /**
    * Find the org and branch of the remote tracking branch that is currently checked out in {@code