❓FAQ

Help! I merged a pull request but the contributor forgot to add Closes ##! Are my funds locked FOREVER!

No problem. Just go to the Pull Requests tab of your GitHub repository and find the closed pull request. Revert it, and make the pull request again, this time adding the Closes ## action comment.