PR and Merge without touching a Github Web

It is a developer headache to

Push and Create PR

git push origin dev
gh pr view --web
gh pr create --base main --fill
gh pr merge --merge --auto

This command push code and create PR with auto fill title. Also I open the web from terminal to make thing visible for beginner. You will see PR create and merge.

Even Shorter

If you have alias for git push gp will push and we use short hand for gh or you can make another alias to do all of these too

gp
gh pr create -B main -f
gh pr merge --merge --auto

Note on Autofill

This is possible when there are only 1 commit in that PR.

You can modify the title by

gh pr create --base main --title ... --body ...

Note on Merge Option

gh merge-all
# dirty merge everything

gh pr merge
# interactive choose option

gh pr merge --merge --auto --delete-branch

gh pr merge --merge --auto
# keep branch