CI: Avoid persisting git credentialsFollowing zizmor recommendations. The prhtmlupload workflow needs thecredentials to push git commits at the end.