The Github PR submission works OK, but could use some improvement in behavior/UI:
- If I have long commit messages the dialog gets very wide. It should have a max width set and just use horizontal scrolling if necessary
- The actual PR submission should happen asynchronously, it currently runs in the UI thread. (Schedule as user job, and show error in error dialog, success in toast as we do)
- The UI doesn't summarize the two endpoints being proposed for merging (let alone let user modify them). The dialog should show the name of the target repo and branch and the name of the current repo and branch.
- The success toast should give more details (like the generated PR number) and allow the user to click the toast to open the PR in a browser.