Should not modify closed PRs

unicode-org / jira-github-pr-check

Checks GitHub pull requests for valid and accepted Jira tickets. Used for ICU and CLDR

Other

11 stars 12 forks source link

Should not modify closed PRs #5

Closed sffc closed 5 years ago

sffc commented 5 years ago

If the state of a ticket changes after the PR is merged, the check status should continue to reflect the state at the time of merging. To fix this, the checker should not be able to modify PRs that have been merged or closed.