proj/gagit:main commit in: /

commit:     09519dcae3869446b46a6b117754e9677d5ee322
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Mon Aug  3 14:43:03 2026 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Mon Aug  3 14:43:03 2026 +0000
URL:        https://gitweb.gentoo.org/proj/gagit.git/commit/?id=09519dca

Give push instructions

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 gagit | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/gagit b/gagit
index 0cb5066..97d6fc1 100755
--- a/gagit
+++ b/gagit
@@ -188,6 +188,14 @@ main() {
 	edo git push \
 		-o "title=$(fj_b64 "${title}")" \
 		-o "description=$(fj_b64 "${body}")"
+
+	echo
+	echo "The branch has been set to push to the PR.  To update it:"
+	echo "  git push"
+	echo
+	echo "If you needed to force-push:"
+	echo "  git push -o force-push=true"
+	echo
 }
 
 main "${@}"