Skip to content
This repository was archived by the owner on Jul 9, 2025. It is now read-only.

ci: disallow opening pr against stable branch unless a release #1740

Merged
cwhitten merged 3 commits into from
Dec 9, 2019
Merged

ci: disallow opening pr against stable branch unless a release #1740

cwhitten merged 3 commits into from
Dec 9, 2019

Conversation

@a-b-r-o-w-n
Copy link
Contributor

@a-b-r-o-w-n a-b-r-o-w-n commented Dec 9, 2019 •
edited
Loading

closes #1739

@a-b-r-o-w-n a-b-r-o-w-n changed the base branch from stable to master December 9, 2019 21:07
@github-actions
Copy link

github-actions bot commented Dec 9, 2019

Coverage Status

Coverage remained the same at 40.45% when pulling 2741b22 on stable-branch-check into 2cf35f1 on master.

@cwhitten cwhitten added the R7 Release 7 - December 10th, 2019 label Dec 9, 2019
@cwhitten cwhitten merged commit 1eeac22 into master Dec 9, 2019
@cwhitten cwhitten deleted the stable-branch-check branch December 9, 2019 23:01
@a-b-r-o-w-n a-b-r-o-w-n mentioned this pull request Dec 11, 2019
Merged
@a-b-r-o-w-n a-b-r-o-w-n mentioned this pull request Dec 11, 2019
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@benbrown benbrown Awaiting requested review from benbrown

@boydc2014 boydc2014 Awaiting requested review from boydc2014 boydc2014 is a code owner

@luhan2017 luhan2017 Awaiting requested review from luhan2017

@yeze322 yeze322 Awaiting requested review from yeze322

1 more reviewer

@cwhitten cwhitten cwhitten approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

R7 Release 7 - December 10th, 2019

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@a-b-r-o-w-n @cwhitten