(GEP-180) Make gh-publisher up-to-date with Geppetto 4.3 code-base