Re: [jdt-dev] Wikis on jdt Repos?

[Mickael Istria <mistria@xxxxxxxxxx>]

On Tue, May 10, 2022 at 10:22 AM Andrey Loskutov <loskutov@xxxxxx> wrote:

Please note, that every PR on master with trivial doc change will trigger JDT Jenkins build, and that will load Jenkins for 1/2 hour at least.

That's one good concern. I did a quick search and it seems like one pattern is to tweak the Jenkinsfile so it lists the relevant changes files and skips the build under some conditions (eg all changes in folder XYZ).

> Note that this repo probably doesn't trigger builds I assume:  https://github.com/eclipse-jdt/.github

Indeed, and it seems like a good place to host project-wide documentation.