Defunct PR functions

• pr_pull_upstream() has been replaced by pr_merge_main().

• pr_sync() has been replaced by pr_pull() + pr_merge_main() + pr_push()

Usage

pr_pull_upstream()

pr_sync()