Merge pull request #2365 from dbnicholson/apidoc-permissions
authorColin Walters <walters@verbum.org>
Tue, 25 May 2021 20:37:07 +0000 (16:37 -0400)
committerGitHub <noreply@github.com>
Tue, 25 May 2021 20:37:07 +0000 (16:37 -0400)
workflow/docs: Give token write permission to push gh-pages


Trivial merge