CI: Allow ranCommitID to be "develop"

This will be used to pull images with the tag "develop" (i.e., without a
commit ID).
This commit is contained in:
Raphael Defosseux
2024-11-22 08:23:48 +01:00
committed by Robert Schmidt
parent 5730df9ffc
commit df9aec167e
3 changed files with 4 additions and 2 deletions
+2
View File
@@ -70,6 +70,8 @@ def CreateWorkspace(host, sourcePath, ranRepository, ranCommitID, ranTargetBranc
return ret.returncode == 0
def CreateTag(ranCommitID, ranBranch, ranAllowMerge):
if ranCommitID == 'develop':
return 'develop'
shortCommit = ranCommitID[0:8]
if ranAllowMerge:
# Allowing contributor to have a name/branchName format