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

Move to a GitHub organization #33

Open
treeowl opened this issue Jul 29, 2021 · 5 comments
Open

Move to a GitHub organization #33

treeowl opened this issue Jul 29, 2021 · 5 comments

Comments

@treeowl
Copy link
Collaborator

treeowl commented Jul 29, 2021

It's my general belief that it's much better for the "official" repositories of packages on Hackage to be owned by GitHub organizations (or the GitLab equivalent, etc.) than by individuals. An organization can have multiple owners, which makes it much easier to manage the risk of the primary author falling off the face of the net (or worse). Transferring ownership of the repo to an organization cleanly transfers all issues and pull requests, both past and present, all branches, etc.

@treeowl
Copy link
Collaborator Author

treeowl commented Jul 29, 2021

This is by no means urgent; just something to think about.

@dagit
Copy link
Owner

dagit commented Jul 30, 2021

That might be a good idea. I was planning to give you permission to merge PRs. It doesn't address everything you bring up, but it's a step up from the current situation.

@treeowl
Copy link
Collaborator Author

treeowl commented Jul 30, 2021

Thanks! Yes, setting up an organization is a little bit of fuss and button mashing till things work, but then you don't really have to touch it very often.

@dagit
Copy link
Owner

dagit commented Jul 30, 2021

I tried to make main a protected branch so that we can only merge to it. But then I made it so all merges require at least 1 approval and I dunno if that's a good idea or too restrictive?

@treeowl
Copy link
Collaborator Author

treeowl commented Jul 30, 2021

Requiring approvals is too restrictive by far. That's for really big, formal projects.

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