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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub

From: <jkubitz-eclipse@xxxxxx>
Date: Fri, 25 Mar 2022 09:46:15 +0100
Delivered-to: platform-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/platform-dev/>
List-help: <mailto:platform-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=unsubscribe>
Thread-index: AQKexkm/+TLYiFOLcxl/GLznLQW+SqtCvCLg

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

Follow-Ups:
- Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
  - From: Mickael Istria
- Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
  - From: Christoph Läubrich

References:
- [platform-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
  - From: Mickael Istria

Prev by Date: Re: [platform-dev] Github workflow
Next by Date: Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
Previous by thread: [platform-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
Next by thread: Re: [platform-dev] [eclipse-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
Index(es):
- Date
- Thread

Breadcrumbs