[430659] [pmi] Gerrit git repository URLs have an extra "/p" Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=430659