Skip to content
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

Closed
gaelforget opened this issue Nov 30, 2022 · 9 comments

Comments

@gaelforget
Copy link
Member

@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
Copy link
Member

gmaze commented Dec 1, 2022

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
Copy link
Member

gmaze commented Dec 1, 2022

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
Copy link
Member Author

Great!

Do you mind if we proceed as follows?

  • creating a team on the org side for the repo owners
  • adding the repo to the team / making team admin of repo
  • inviting pkg dev to org member
  • adding pkg dev to the team

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
Copy link
Member

gmaze commented Dec 2, 2022

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
Copy link
Member Author

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
Copy link
Member Author

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 #34 (comment)

@gaelforget
Copy link
Member Author

gaelforget commented Dec 2, 2022

@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
Copy link
Member

gmaze commented Dec 2, 2022

you're now admin of the repo ...

@gaelforget
Copy link
Member Author

thanks @gmaze

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants