Migrate Eclipse SET to GitHub
The Eclipse SET project would like to migrate from GitLab (https://gitlab.eclipse.org/eclipse/set) to a new GitHub organization (eclipse-set I suppose).
We'd need the following repositories to be transferred to the GitHub organization from GitLab:
set
model
-
toolboxmodel
(Gitlab currently has toolbox-model, however the variant without the dash is intended) browser
build
The website
repository does not need to be transferred, as it is empty and (currently) unused.
We already have a GitHub bot user (https://github.com/eclipse-set-bot) which also needs to be added to the new organization. Please also enable GitHub Actions and GitHub Packages for the new organization.