Style fails on push changes
Closed this issue · 7 comments
Also (possibly related) style fails on push changes...
Originally posted by @pbulsink in #124 (comment)
Yeah I think #124 and this have the same root cause - permissions on push. Not sure I can solve it as easily as you since I don't have repo write permission, but I plan to do more reading up on this anyway
What do I need to do?
I'm not sure yet, i'll get back to you once I understand the nitty gritty of github actions a bit better.
From docs on some workflow actions:
For this action to work you must explicitly allow GitHub Actions to create pull requests. This setting can be found in a repository's settings under Actions > General > Workflow permissions.
@SCasanova I can't make that change, if you do it before you merge #171 then we'll see if it fails the auto-doc/auto-style (it might not as I think there's no changes anyway?)
Hmm I checked and that looks to be already on. I also made you a collaborator (which should've been done a long time ago). I don't know if that allows you to modify that as well
Fantastic