tree b85c8716f890a13fc21165cd44af189bd5ee473c
parent 49bff07ec826180f5ab39de8727f193bcc280448
author Jan Hruban <jan.hruban@gooddata.com> 1446903547 +0100
committer Jesse Keating <omgjlk@us.ibm.com> 1494451191 -0700

support github pull request labels

Allow to match trigger on adding or removing github labels. Also
reporter can add or remove labels.

Change-Id: Id385b92590e252c283ba3ebe1ecfd33b34469a2e
Co-Authored-By: Jesse Keating <omgjlk@us.ibm.com>