When an open pull request got manually merged mark the pull request as merged
33 KiB
33 KiB
When an open pull request got manually merged mark the pull request as merged