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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BidByweqsZndytDLz3Bh7XxN0tehMFy3m84Rc6aft7ZCGQ%40mail.gmail.com.
