A helpful operation bot for GitHub. This helps to assign a reviewer, to merge a pull request, and to notify an unmergeable pull request with a comment as a command interactively.
Other
76
stars
10
forks
source link
Reorganize package hierarchy to focus problem domain #258
Motivation
Plan