Skip to content
This repository has been archived by the owner on Jun 29, 2021. It is now read-only.

Build GitHub PR targeting random branches #137

Open
aduprat opened this issue Dec 5, 2018 · 1 comment
Open

Build GitHub PR targeting random branches #137

aduprat opened this issue Dec 5, 2018 · 1 comment

Comments

@aduprat
Copy link
Contributor

aduprat commented Dec 5, 2018

The target branch of GitHub PRs is actually hard linked to master.
@chibenwa
Copy link
Member

Still interesting (especially when doing backports on non-master branches) hence I do not close this but we will not work on this anytime soon.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@aduprat @chibenwa