-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
should we consider moving this repo to https://github.com/euroargodev org? #34
Comments
It's totally up to you ! |
I'll send you an invitation from euroargodev as "outside collaborator" and give you all the necessary access to create repo and enjoy the euroargodev Argo collaborative framework ;-) |
Great! Do you mind if we proceed as follows?
That's what we do in JuliaClimate and MITgcm for example. or recently with Dataverse.jl On the org side, only someone with sufficient / owner privileges can create teams and so on. Details may depend on how you have the org set up. One advantage, as compared to creating a fresh repo, is that everything in the original repo carries over -- i.e., issues, discussions, settings, ci, docs, zenodo links, webhooks, tags, etc. If instead of using the GitHub transfer mechanism I just push the git history into a fresh repo then the rest is lost. @gmaze , could we do the transfer this way via the GitHub ownership transfer? |
I think you can feel reinsured that a transfer will preserve basically every thing (see here for details) and even ensure url forwarding from initial routes to the new ones ! i just sent you an invitation to become a member of euroargodev. |
Sounds good. I just joined. Will now transfer ownership to @euroargodev Afterwards I will need to do a couple checks wrt GitHub actions & bots (docs -> pages, ci, releases, tagbot). I think I recall that one can get broken by transfer. Will see. |
So, I believe I do need owner privileges on this repo (not the whole org). For example I cannot edit the URL : There should be a A simple way to do this in a compartmented way is by creating a team etc as outlined in #34 (comment) |
you're now admin of the repo ... |
thanks @gmaze |
@gmaze , what do you think?
I put this originally in JuliaOcean but am now thinking it would fit and might be more helpful under your org
The text was updated successfully, but these errors were encountered: