Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Lock & close the cleanup issue #3
When the main pr process is called and the final pull request for the cleanup is created, the main cleanup issue should be locked to avoid any users commenting on this once the pull request has been made.
It may also be appropriate to post a comment in the issue informing maintainers that the cleanup is complete and no further changes need to be made to the issue as the pull request has been opened.
The pull request template should include a keyword to close the issue once merged. Eg