Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Limit branch name check to PRs targeting develop #1633

Closed
jstrzebonski opened this issue Dec 16, 2021 · 0 comments · Fixed by #1634
Closed

Limit branch name check to PRs targeting develop #1633

jstrzebonski opened this issue Dec 16, 2021 · 0 comments · Fixed by #1634
Assignees
@jstrzebonski
Labels
type: task

Comments

@jstrzebonski
Copy link
Contributor

For PRs to branches other than develop, it doesn't make as much sense to enforce that the branch name begins with a matching issue ID.

(Copy of DARMA-tasking/check-pr-fixes-issue#11)
@jstrzebonski jstrzebonski self-assigned this Dec 16, 2021
jstrzebonski pushed a commit that referenced this issue Dec 16, 2021
#1633 check branch naming only when PR's targetting develop branch
f5b761b
@jstrzebonski jstrzebonski mentioned this issue Dec 16, 2021
Merged
jstrzebonski pushed a commit that referenced this issue Dec 16, 2021
#1633 check branch naming only when PR's targetting develop branch
1048aa0
jstrzebonski pushed a commit that referenced this issue Dec 16, 2021
#1633 check branch naming only when PR's targetting develop branch
8aef816
jstrzebonski pushed a commit that referenced this issue Dec 16, 2021
#1633 check branch naming only when PR's targetting develop branch
975c77a
jstrzebonski pushed a commit that referenced this issue Dec 16, 2021
#1633 check branch naming only when PR's targetting develop branch
eb82a81
PhilMiller added a commit that referenced this issue Dec 16, 2021
@PhilMiller
Merge pull request #1634 from DARMA-tasking/1633-limit-branch-name-ch…
8ee5c9d 
…ecking

#1633 check branch naming only when PR's targetting develop branch
@lifflander lifflander mentioned this issue Dec 21, 2021
Open
@cz4rs cz4rs mentioned this issue Dec 21, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jstrzebonski jstrzebonski

Labels
type: task
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

#1633 check branch naming only when PR's targetting develop branch DARMA-tasking/vt
1 participant
@jstrzebonski