Bundling these operations together did not seem justified, in terms of how
rarely this comes up and, when it does, how likely merge conflicts are.
Users of pr_sync()
should implement these steps "by hand":
(Check you are on a PR branch)
pr_pull()
pr_merge_main()
, deal with any merge conflicts, if any
pr_push()