https://tongfamily.com/2022/04/22/doing-github-pr-merges-from-the-command-line-and-fixing-pipenv-files/