Closed devmotion closed 1 year ago
Thanks @devmotion, the GitHub key should be enough but didn’t realise the main branch are called ‘main’ by default now
Yes, the token should be sufficient here - but the dedicated deploy key has more permissions and hence is needed e.g. if a Github action should trigger another Github action (e.g. if using TagBot, see https://documenter.juliadocs.org/stable/man/hosting/#GitHub-Actions or the TagBot README). So in general I think it's useful to create (and then also use) a deploy key.
This is at least part of the problem of #11 (I guess a DOCUMENTER_KEY might still be needed for deployment?).
Edit: Added DOCUMENTER_KEY settings.