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.
PR Creation: If branch hasn't been pushed, push it #501
Description
If the current branch hasn't been pushed yet and the user goes to the PR creation form, we should push the branch and then create the PR.