+
+ <!-- This property is used in the pluginManagement and the q profile as well as -D set e.g. in releng/builder by c/53426
+ to emulate a future "maven.gitcommitid.skip", which only a future not-yet-available-on-Maven-central maven-git-commit-id-plugin release has.
+ (If we ever upgrade the version of the maven-git-commit-id-plugin we use, then this and re. pluginManagement config could be removed; BUT then
+ the q profile and all -D in releng/builder etc. else would have to be changed from this "gitid.skip" to "maven.gitcommitid.skip.)
+ -->
+ <gitid.skip>false</gitid.skip>