From 9e2696ed2b8cd12b79f3f28994346d59448148b2 Mon Sep 17 00:00:00 2001 From: Maciej Olko Date: Sun, 22 Jun 2025 13:47:28 +0200 Subject: [PATCH] Improve logic fetching repos from devguide Support :github:`mirror ` for French repository --- repositories.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repositories.py b/repositories.py index c2c22de70..5590771c2 100644 --- a/repositories.py +++ b/repositories.py @@ -28,7 +28,7 @@ def get_languages_and_repos( ) language_name = language_match.group(1) language_code = language_match.group(2).lower().replace('_', '-') - repo_match = re.match(':github:`GitHub <(.*)>`', repo) + repo_match = re.search(':github:`.* <(.*)>`', repo) yield ( Language(language_code, language_name), repo_match and repo_match.group(1),