Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.plat

[Christoph Läubrich <laeubi@xxxxxxxxxxxxxx>]

Jörg, please note discouraged != disallowed :-)

I don't think we should complicate things to much with bots, protected 
branches and alike ...

Am 25.03.22 um 09:46 schrieb jkubitz-eclipse@xxxxxx:
> Well, if direct pushing to the repository is disallowed it should be 
> disabled. I accidently made my first error with not creating a PR. And 
> got nor error message. Highly confusing.
>
> If possible the error message should provide a link to a how-to-contribute.
>
> Jörg
>
>
> _______________________________________________
> platform-dev mailing list
> platform-dev@xxxxxxxxxxx
> To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev