Revert "Temporarily always push the docs commit" This reverts commit 6612fd39ae6f84446dad1b0507417d6febf22fa0.
2021-06-07T10:52:27