fixup! [#8427] fix for jenkins failing on forgegit
2 files changed