How we closed 1,500 GitHub issues in one month