Declarative pipeline: Somewhat more advanced deployment logic

Hello! As mentioned in the other email, here's the second problem I'm facing. For reference, this is my current Jenkinsfile shared between about eighty projects via a Git submodule: https://raw.githubusercontent.com/io7m/jenkinsfiles/50d80c92c8a51df11b7970ebbdbae7611dc8ac51/com.io7m.jenkins.gith

Declarative pipeline: Ensure "post" has access to the Git repository

Hello! I have two separate questions so I'll ask the other in separate email to follow. This is my current Jenkinsfile that's shared between about eighty projects via a Git submodule: https://raw.githubusercontent.com/io7m/jenkinsfiles/50d80c92c8a51df11b7970ebbdbae7611dc8ac51/com.io7m.jenkins.gi