diff --git a/pyproject.toml b/pyproject.toml
index 7b2b01e..fe7a7a4 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -20,7 +20,7 @@ description = "LeanDojo: Machine Learning for Theorem Proving in Lean"
 keywords = ["theorem proving", "machine learning", "Lean"]
 readme = "README.md"
 license = { file = "LICENSE" }
-requires-python = ">=3.9,<3.12"  # https://docs.ray.io/en/latest/ray-overview/installation.html#daily-releases-nightlies
+requires-python = ">=3.9,<=3.12"  # https://docs.ray.io/en/latest/ray-overview/installation.html#daily-releases-nightlies
 classifiers = [
     "Programming Language :: Python :: 3",
     "License :: OSI Approved :: MIT License",
diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py
index 1e9a2d2..35b256d 100644
--- a/src/lean_dojo/data_extraction/lean.py
+++ b/src/lean_dojo/data_extraction/lean.py
@@ -55,7 +55,7 @@
 
 _URL_REGEX = re.compile(r"(?P<url>.*?)/*")
 
-_SSH_TO_HTTPS_REGEX = re.compile(r"git@github\.com:(?P<user>.+)/(?P<repo>.+)\.git")
+_SSH_TO_HTTPS_REGEX = re.compile(r"git@github\.com:(?P<user>.+)/(?P<repo>.+?)(\.git)?")
 
 REPO_CACHE_PREFIX = "repos"