Re: [platform-dev] Retriever a build on eclipse.platform

[Andrey Loskutov <loskutov@xxxxxx>]

You probably mean https://github.com/eclipse-platform/eclipse.platform/pull/314 ?

Project members can trigger jenkins build directly.

Non-project members can do a force push of a commit in the PR (e.g. by providing even better commit message).

For the wiki - should be here: https://github.com/eclipse-platform/eclipse.platform/blob/master/CONTRIBUTING.md

On Tuesday January 24 13:58:32 2023 (+01:00), Hoepfner, Marcus via platform-dev wrote:

How can I retrigger a build in repo https://github.com/eclipse-platform/eclipse.platform?

Do we have this information somewhere (e.g. contributing.md)? I did not find it. Could we add it there?

-- 
Kind regards,
Andrey Loskutov

Спасение утопающих - дело рук самих утопающих

https://www.eclipse.org/user/aloskutov