git-pr-linear-merge (pypi): A command line utility to list and merge GitHub pull requests while maintaining linear history
Keywords: github|pull request|linear merge|linear history|semi-linear merge