Stefan Haller a462b7c420 Add commands for opening a Github PR in the browser ... For the branches panel we might consider unifying it with the existing `o` command for creating a PR: it could check if there is a PR already, and open it if so, or create a new one if not. However, I also want the command in the local commits panel for the checked out branch, and there's no existing "Create PR" command there; and the `o` command opens the selected commit in the browser, so it's unrelated.		2026-04-01 09:13:55 +02:00
..
config.json	Add commands for opening a Github PR in the browser	2026-04-01 09:13:55 +02:00