Re: [eclipse-dev] API Tools Verification

[Lars Vogel <lars.vogel@xxxxxxxxxxx>]

Unfortunately api tooling is not always reliable, as you have seen today: 

https://bugs.eclipse.org/bugs/show_bug.cgi?id=531748#c49

Daniel Megert <daniel_megert@xxxxxxxxxx> schrieb am Do., 25. Apr. 2019, 18:33:

Hi Team

Please keep in mind that API Tools verification is not an optional thing. At least committers who merge changes (their own and reviewed ones) *must* make sure they have API Tools setup correctly and validate all changes that they merge (no errors or warnings). Unfortunately this is not yet checked by Gerrit, so please make sure you do this validation.

Dani
_______________________________________________
eclipse-dev mailing list
eclipse-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/eclipse-dev