On Sun, May 03, 2020 at 07:05:46PM +0700, Danh Doan wrote: > This is my proposal for it: > [...] > diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml > index fd4df939b5..303393ba73 100644 > --- a/.github/workflows/main.yml > +++ b/.github/workflows/main.yml > @@ -1,6 +1,19 @@ > name: CI/PR > > -on: [push, pull_request] > +on: > + pull_request: > + branches: > + - '*' > + push: > + branches: > + - maint > + - master > + - next > + - jch > + - pu > + - 'for-ci/**' > + tags: > + - '*' Yeah, this seems quite reasonable to me. I'd just add a refspec to push a duplicate of branches I'm interested in running CI on to for-ci. -Peff
