Closed lilyminium closed 1 year ago
I think this is expected behaviour? At least from the context provided here it looks like github protecting you from outside authors trying to push to the website by just opening a PR.
Do you really want to be pushing to the website during a PR instead of just doing it on merge?
Yeah, the correct answer here may be to just not fail CI if the author isn't allowed. I kept the push because some things do render differently on RTD and not sure how best to preview otherwise. We could keep it as an artifact, maybe.
Fixed by #38
It may depend on who opens the PR? Example: https://github.com/MDAnalysis/mdanalysis-sphinx-theme/pull/22