💡 Auto-close corresponding issue when you merge a PR

nus-cs2103-AY1718S1 / forum

Discussion Forum

5 stars 0 forks source link

💡 Auto-close corresponding issue when you merge a PR #110

Open damithc opened 6 years ago

damithc commented 6 years ago

It is possible to get GitHub to auto-close the corresponding issue when you merge a PR. e.g. if you create a PR to fix a bug reported in issue 12, you can include the keyword Closes #12 in the PR description (not title) and it will trigger the issue 12 to auto-close when that PR is merged.