Move General registration stuff somewhere else
The Julia script that is responsible for semi-automated registration in the General registry currently lives in /.ci/
in this repo.
However, at some point we will use it for more than just this one package, so it should probably be moved to an independent repo, which would also enable updates independent of the InPartS release "cycle". The InPartS CI can then simply download it, or maybe even use a trigger token to start a registration pipeline in that repository — this would have the advantage that if we use the pipeline for multiple packages, we'd only have to keep the Github access token in one place.
If that happens, we should also make sure that the script uses unique branches in the fork for every registration pipeline, to ensure that the force pushes don't accidentally overwrite other package's registration commits before they are merged.