sourcecred / widgets

Other
2 stars 3 forks source link

Skip CI on gh-pages push #34

Closed Beanow closed 5 years ago

Beanow commented 5 years ago

This should stop causing errors where Circle CI doesn't have it's expected config file for gh-pages.

Based on https://discuss.circleci.com/t/cant-ignore-the-gh-pages-branch/2002

Tested by locally running the modified commit file to see it add the skip flag. But, will have to see how Circle responds.

Beanow commented 5 years ago

Tried a manual commit to see if skipping with this tag works. image

Assuming that will fix the issue I'll merge this now. @decentralion can you check the coming days if that fixes notification spam for you?