-
Julian Kornberger authoredIf a given commit is not included in the master branch, the update script fails.
Julian Kornberger authoredIf a given commit is not included in the master branch, the update script fails.
If a given commit is not included in the master branch, the update script fails.
If a given commit is not included in the master branch, the update script fails.