A very related Gerrit patch is https://git.eclipse.org/r/#/c/112192/ Please give it a try, it's worth it!
_______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/platform-dev
