This could have gone badly, but we were saved by the fact that pushing a shallow clone is not allowed or something to that effect.
I think it would have been safer to push to origin, but I don't know how to use the env-variable (${GITHUBKEY}) when doing that.
This could have gone badly, but we were saved by the fact that pushing a shallow clone is not allowed or something to that effect. I think it would have been safer to push to
origin
, but I don't know how to use the env-variable (${GITHUBKEY}
) when doing that.