Marty Oehme 98c54443e9 git: Add pr alias which fetches a specific github pull request ... Used like `g pr 1234` to create local pr/1234 branch.		2025-02-14 10:47:53 +01:00
..
config	git: Add pr alias which fetches a specific github pull request	2025-02-14 10:47:53 +01:00