The docs workflow actually does seem to rely on credentials for push.

The docs workflow actually does seem to rely on credentials for push. #2392