Closed dannyedel closed 8 years ago
This should avoid the problem of pull-requests getting build twice (once as push, and once as pull-request)
This should avoid the problem of pull-requests getting build twice (once as push, and once as pull-request)