Hi all I've created a comment-ops bot that can be used to help manage issues and pull requests on GitHub. The features it has currently are:
- /close - Issues only - /label <label1,label2,...> - /remove-label <label1,label2,...> - /reopen - Issues only - /reviewer(s) <reviewer1[, ]reviewer2[, ]@org/team1...> - /transfer <destination_repo> It can be found at: https://github.com/timja/github-comment-ops/ Examples: https://github.com/jenkinsci/jenkins-infra-test-plugin/issues/42 https://github.com/jenkinsci/jenkins-infra-test-plugin/pull/40 Demo at UX sig: https://www.youtube.com/watch?v=t1BSLRPNeQ4&t=2060s It requires no organization permissions, which means anyone can request a review and add labels to issues and pull requests. I plan to update the Jenkins core pull request template to suggest users do this in the near future. Please provide any feedback here or in the issues of the repositories: https://github.com/timja/github-comment-ops/issues Thanks Tim -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BidByweqsZndytDLz3Bh7XxN0tehMFy3m84Rc6aft7ZCGQ%40mail.gmail.com.