xenserver / pull-request-manager

A program that continually checks and potentially merges pull requests.
10 stars 3 forks source link

Add ability to close in-house tickets #1

Closed rokstrnisa closed 13 years ago

rokstrnisa commented 13 years ago

The bot should be able to close an in-house ticket after the corresponding pull request has been built, verified, pushed, and closed. More specifically, it should be able to handle a command like this:

Approved. Close CA-5555@scale.
matthiasgoergens commented 13 years ago

Sounds useful.