Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
Description
If the target ref of a PR is something other than master, we should merge PRs into that branch
Attachments
Issue Links
- links to
If the target ref of a PR is something other than master, we should merge PRs into that branch