stopped pullrequest triggers #13

Closed gboder closed 1 year ago