(refs #2)Close issue when pull request is merged.