euroargodev / ArgoData.jl

Argo data processing and analysis
https://euroargodev.github.io/ArgoData.jl/dev/
MIT License
15 stars 4 forks source link

should we consider moving this repo to https://github.com/euroargodev org? #34

Closed gaelforget closed 1 year ago

gaelforget commented 1 year ago

@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

gmaze commented 1 year ago

It's totally up to you ! I guess it depends on the visibility and the community you expect to be in most contact with You could transfer the repo to euroargodev, since it's the primary user base, and for it back here, so that it remains visible to Julia Ocean enthusiast

gmaze commented 1 year ago

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 ;-)

gaelforget commented 1 year ago

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?

gmaze commented 1 year ago

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. I guess from there, you will be able to create repositories (and transfert this one) and to create teams. Note that any pkg developers does not need to be a euroargodev member to contribute

gaelforget commented 1 year ago

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.

gaelforget commented 1 year ago

So, I believe I do need owner privileges on this repo (not the whole org).

For example I cannot edit the URL :

Screenshot 2022-12-02 at 3 38 20 PM

There should be a wheel in the top right like here :

Screenshot 2022-12-02 at 3 40 25 PM

A simple way to do this in a compartmented way is by creating a team etc as outlined in https://github.com/euroargodev/ArgoData.jl/issues/34#issuecomment-1335042556

gaelforget commented 1 year ago

@gmaze , I was able to create new team but dont think I can go further. Unless I am mistaken you need to either 1. give me owner privilege on the repo so I can add it to the team or 2. add the repo to the team. Option 2 might suffice and be easier. Please correct me if I am wrong.

gmaze commented 1 year ago

you're now admin of the repo ...

gaelforget commented 1 year ago

thanks @gmaze