Skip to content

Only update the status on PRs sent to master#33

Merged
domenic merged 1 commit intomasterfrom
only-prs-to-master
Oct 2, 2018
Merged

Only update the status on PRs sent to master#33
domenic merged 1 commit intomasterfrom
only-prs-to-master

Commits

Commits on Oct 2, 2018