Updated tables

2026-08-08 01:37:44 +00:00 · 2022-03-28 07:16:39 -03:00
parent fc59394297
commit d09e8688c8
3 changed files with 374 additions and 372 deletions
@@ -11,7 +11,7 @@ from github import Github
 g = Github(os.environ['GITHUB_ACCESS_TOKEN'])

 def extract_repo(url):
-  reu = re.compile('^https://github.com/([\w-]+/[\w-]+)$')
+  reu = re.compile('^https://github.com/([\w-]+/[-\w\.]+)$')
  m = reu.match(url)
  if m:
    return m.group(1)