[jenkinsci/ghprb-plugin] 089121: Re-implement label ignore feature.

2017-01-13 Thread GitHub
Branch: refs/heads/master Home: https://github.com/jenkinsci/ghprb-plugin Commit: 0891211e9b988b9b23b8a0a812e53ee06bc5a913 https://github.com/jenkinsci/ghprb-plugin/commit/0891211e9b988b9b23b8a0a812e53ee06bc5a913 Author: Ben Patterson Date: 2016-12-06

[jenkinsci/ghprb-plugin] 089121: Re-implement label ignore feature.

2016-12-06 Thread GitHub
Branch: refs/heads/re-implement-label-support-ignorelist Home: https://github.com/jenkinsci/ghprb-plugin Commit: 0891211e9b988b9b23b8a0a812e53ee06bc5a913 https://github.com/jenkinsci/ghprb-plugin/commit/0891211e9b988b9b23b8a0a812e53ee06bc5a913 Author: Ben Patterson