pi-hole / .github

Default and organization wide metadata
1 stars 16 forks source link

Don't build pushes from non-org repos. #8

Closed dschaper closed 4 years ago

dschaper commented 4 years ago

This can merge to master or to a new branch called latest if that makes more sense. Will need to make sure the latest tag points to the right commit after merge.

dschaper commented 4 years ago

Conditionals are being seen but I think I have the wrong conditions. Annotation 2020-07-30 130917

Trying to build all PR's and then any push that is from our repo. Not sure if that means don't build forks, or why my current regex isn't working.

https://travis-ci.com/github/pi-hole/pi-hole/requests

dschaper commented 4 years ago

Oh, head_repo only works for pull_request, has no function for push.

dschaper commented 4 years ago

Commit 4ad4ed2 is tagged as latest and drafted as pre-release

dschaper commented 4 years ago

Fat finger, did not mean to close.

dschaper commented 4 years ago

This is already tagged as latest so the travis builds should already be using it.