Closed jasonkuster closed 7 years ago
This pull request adds a frontend to the mergebot. This should be looked at in conjunction with the backend PR #14 , as they are complementary.
This pull request adds a frontend to the mergebot. This should be looked at in conjunction with the backend PR #14 , as they are complementary.