dev: merged prs do not close issues. Fixes #424. (#425)

dev: merged prs do not close issues. Fixes #424. misc.
MartinBernstorff · Dec 23, 2023 · 98eb56f · 98eb56f
2 parents bec9363 + c115b59
commit 98eb56f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/personal_mnemonic_medium/subtasks/graphite.py b/personal_mnemonic_medium/subtasks/graphite.py
@@ -14,5 +14,6 @@ def create_branch_from_issue(c: inv.Context, selected_issue: GithubIssue):
     sanitised_title = sanitise_issue_title(selected_issue.title)
     branch_title = f"{selected_issue.number}-{sanitised_title}"
     c.run(f"gt create {branch_title}")
-    c.run(f"git commit --allow-empty -m '{selected_issue.title}'")
-    c.run(f"git commit --allow-empty -m 'Fixes #{selected_issue.number}'")
+    c.run(
+        f"git commit --allow-empty -m '{selected_issue.title}. Fixes #{selected_issue.number}'"
+    )