From 371cd066500d2212b41515dab112a28edbd8c395 Mon Sep 17 00:00:00 2001
From: Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>
Date: Wed, 10 Jan 2024 14:47:14 +0100
Subject: [PATCH] Avoid the need to have git phr as a configured alias

---
 bump_packaging | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bump_packaging b/bump_packaging
index 32470afb..1eb8721b 100755
--- a/bump_packaging
+++ b/bump_packaging
@@ -51,7 +51,9 @@ fi
 git commit -m "Release $FULLVERSION"
 
 if [[ $PACKAGING_PR == true ]] ; then
-	git phr -m "Release $FULLVERSION" -b "$REMOTE_BRANCH"
+	# TODO: assumes a remote named whoami for the user's fork
+	git push --set-upstream "$(whoami)" HEAD
+	hub pull-request -m "Release $FULLVERSION" -b "$REMOTE_BRANCH"
 else
 	git push "$PACKAGING_GIT_REMOTE" "HEAD:$REMOTE_BRANCH"
 fi