Re: [platform-dev] Has the time come?

[Wim Jongman <wim.jongman@xxxxxxxxx>]

Mikael, I did not mean to lecture you (after reading my reply again 🙏).

It's funny, really; we have this hosting rule, but also a trick how to circumvent it 😉

On Tue, Mar 16, 2021 at 4:57 PM Wim Jongman <wim.jongman@xxxxxxxxx> wrote:

> Just a quick note that content served by https://www.eclipse.org/ (and as such https://www.eclipse.org/eclipse/) must currently be hosted on a git repository hosted at https://git.eclipse.org/c/www.eclipse.org. That's how it works

Git is a blokchain secured source repo. It does not matter where it is hosted.

> Some projects (openj9) worked around that by having the site code hosted at github and a job on their jenkins at ci.eclipse.org that push all commits from github to git.eclipse.org/c/www.eclipse.org repository.

How does this not break the "must be hosted on git.eclipse.org" rule?

Cheers, Wim