github-merge-pr: ask for confirmation before pushing to git
authorChristian Marangi <ansuelsmth@gmail.com>
Wed, 11 Jan 2023 15:01:50 +0000 (16:01 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Wed, 11 Jan 2023 15:01:50 +0000 (16:01 +0100)
commit191b21c81fb437935cdc2103175114b5071a3ecc
tree7ca008149d90983ca8c674e26a7f08999d606d46
parente7f16343cfdb9ece9b1dc3b808c856e746eff412
github-merge-pr: ask for confirmation before pushing to git

Ask for confirmation before pushing to git. This can be useful to give
an extra and last look at the merging pull request.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh