summaryrefslogtreecommitdiff
path: root/x11/kitty/files/patch-docs_conf.py
blob: a9775ffc7d43361136402dc188a2a42c82ef50a4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
--- docs/conf.py.orig	2023-05-12 12:26:28 UTC
+++ docs/conf.py
@@ -207,18 +207,10 @@ def commit_role(
     name: str, rawtext: str, text: str, lineno: int, inliner: Any, options: Any = {}, content: Any = []
 ) -> Tuple[List[nodes.reference], List[nodes.problematic]]:
     ' Link to a github commit '
-    try:
-        commit_id = subprocess.check_output(
-            f'git rev-list --max-count=1 --skip=# {text}'.split()).decode('utf-8').strip()
-    except Exception:
-        msg = inliner.reporter.error(
-            f'GitHub commit id "{text}" not recognized.', line=lineno)
-        prb = inliner.problematic(rawtext, rawtext, msg)
-        return [prb], [msg]
+    commit_id = text
     url = f'https://github.com/kovidgoyal/kitty/commit/{commit_id}'
     set_classes(options)
-    short_id = subprocess.check_output(
-        f'git rev-list --max-count=1 --abbrev-commit --skip=# {commit_id}'.split()).decode('utf-8').strip()
+    short_id = text[:9]
     node = nodes.reference(rawtext, f'commit: {short_id}', refuri=url, **options)
     return [node], []
 # }}}