Closed erikbosch closed 3 months ago
FYI @mikehaller
@SebastianSchildt -will you do the merge when you have sent the request for it to get archived?
@bs-jokri I saw meanwhile there is a long list to the new locations as well as a generic pointer to the new org
@erikbosch Will merge this now, before requesting archival, because sometimes this may be archived within minutes, depending on availability of Eclipse staff, and after that we can't merge (it will be read only)
Related to #174
This PR shall be merged just before we archive the repo.