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
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
