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
..
git	git: Add pr alias which fetches a specific github pull request	2025-02-14 10:47:53 +01:00
sh/alias.d	vcs: Fix git program structure	2024-09-19 11:03:36 +02:00