Uh oh!
There was an error while loading. Please reload this page.
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
There was an error while loading. Please reload this page.
When we create a pull request using the GitHub pane, we don't mark the branch in the
.git/configto associate the branch with the pull request, meaning that the status bar doesn't show the PR for the current branch.We should do this.