JIPP for rt.gemini is dormant

Link to the JIPP in question: https://ci.eclipse.org/gemini/

No successful build was executed in more than 1 year. Hence, the question if there are any plans to utilize this Jenkins instance in the near future. If not, we will archive and remove the instance. If, at a later point in time, it's determined that a Jenkins instance is required, we can (re-)create it.

The Gemini project has been archived, but the Gemini subprojects are still active. Therefore, I'm cc'ing the project leads of the subprojects here.

Please note, if we don't hear back from the subprojects before June 08, 2023, we will assume silent agreement that this instance is no longer required.

/cc @dsklyut @ootto @jkissner @fwaibel @vgeorgieva