From df5eda7a815f6d8d10dee4c5cfc08f22c3593bdb Mon Sep 17 00:00:00 2001 From: Martin Bernstorff Date: Sun, 19 Nov 2023 10:12:54 +0000 Subject: [PATCH] dev: use branch title for PR title Fixes #225 --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index c1b40b27..95ef844a 100644 --- a/makefile +++ b/makefile @@ -61,7 +61,7 @@ push: create-pr: @echo "––– Creating PR –––" - @gh pr create --title "$$(git log -1 --pretty=%B)" --body "Auto-created" || true + @gh pr create --title "$$(git rev-parse --abbrev-ref HEAD | tr -d '[:digit:]' | tr '-' ' ')" --body "Auto-created" || true enable-automerge: @gh pr merge --auto --squash --delete-branch