Jeff Billimek 98f572ef60 add filter to exclude merged PRs ... ... due to double-push events that occur when a PR is merged		2019-05-26 16:33:17 -04:00
..
main.workflow	add filter to exclude merged PRs	2019-05-26 16:33:17 -04:00