|
|
# Use the release tag provided by the CI server, this is important because git describe command will be off by one commit in the CI mirror branches
|
|
# Use the release tag provided by the CI server, this is important because git describe command will be off by one commit in the CI mirror branches
|