https://docs.pymc.io/en/latest/contributing/pr_tutorial.html reminder: to use different branch ``` $ git fetch upstream $ git rebase upstream/main ``` delete a branch https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely