From bff08f3718471eb97c8161b2497a86b799d8badf Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Sun, 15 Sep 2024 14:37:37 +0200
Subject: [PATCH] Strip trailing / from GitHub repo name

---
 ros2nix/ros2nix.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ros2nix/ros2nix.py b/ros2nix/ros2nix.py
index a7b7053..3aa35df 100755
--- a/ros2nix/ros2nix.py
+++ b/ros2nix/ros2nix.py
@@ -286,7 +286,7 @@ def ros2nix(args):
                     )
                     git_cache[toplevel] = info
 
-                match = re.match("https://github.com/(?P<owner>[^/]*)/(?P<repo>.*?)(.git)?$", url)
+                match = re.match("https://github.com/(?P<owner>[^/]*)/(?P<repo>.*?)(.git|/.*)?$", url)
                 if match is not None:
                     kwargs["src_param"] = "fetchFromGitHub"
                     kwargs["src_expr"] = dedent(f'''