PR #2237 chore(ci): only run on push

chore(ci): only run on push #2237

mergify merged 3 commits into master from robertylewis-patch-1

chore(ci): only run on push

6945cc4d

gebner commented on 2020-03-25

bryangingechen approved these changes on 2020-03-25

bryangingechen added ready-to-merge

update contribution docs

1cc7a34e

Merge branch 'master' into robertylewis-patch-1

652a1cc0

mergify merged 2755eaea into master 6 years ago

robertylewis deleted the robertylewis-patch-1 branch 6 years ago

Reviewers

bryangingechen

gebner

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone