tree 06a6729aa6476ef2e53d038776d06b752ee81796
parent 29e4bc03f14ec793f2732709a8a2a6fa4b4c4c75
author Luca Milanesio <luca.milanesio@gmail.com> 1604529321 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1604530391 +0000

Use git config to set values on JJB config

Git config does not support '_' in the variable names,
hence use '-' in the .ini file and replace all of them at the
end of the config with a tr.

Change-Id: I611961b84f9446c3b4f9ea392d8ff78ecc7df2f2