github patch factory: support another URL format

nunoplopes · May 24, 2024 · 2c0739f · 2c0739f
1 parent c44fd73
commit 2c0739f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/entities/GitHub/GitHubPatch.php b/entities/GitHub/GitHubPatch.php
@@ -30,6 +30,15 @@ static function construct($url, \Repository $repository) {
       if ($src_branch != $repository->defaultBranch())
         throw new \ValidationException("Patch is not against default branch");
     }
+    elseif (preg_match('@^https://github.com/([^/]+/[^/]+)/compare/([^:]+):([^:]+):(.+)$@', $url, $m)) {
+      $src_repo   = $m[1]; // user/repo
+      $org        = $m[2];
+      $repo       = $m[3];
+      $branch     = $m[4];
+
+      if ($src_repo != $repository->name())
+        throw new \ValidationException("Patch is not for Project's repository");
+    }
     elseif (preg_match('@^https://github.com/([^/]+)/([^/]+)/tree/(.+)$@', $url, $m)) {
       $org    = $m[1];
       $repo   = $m[2];