Skip to content

We need more people with git repo permissions #58

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

Closed
Lokathor opened this issue Oct 2, 2019 · 4 comments
Closed

We need more people with git repo permissions #58

Lokathor opened this issue Oct 2, 2019 · 4 comments

Comments

@Lokathor
Copy link
Member

Lokathor commented Oct 2, 2019

Currently there are not many people who have permissions to the git repo. This leads to problems with issue triage, PR management, wiki updates, and so on.

It has been proposed that we widen the pool of who has permissions to the repo so that we can respond to events more promptly.

Uh, discuss, I guess.

@17cupsofcoffee
Copy link
Collaborator

I've got access to the website repo, so I've been trying to help a bit with triage there - would be open to helping out here as well if needs be.

@AlexEne
Copy link
Member

AlexEne commented Oct 3, 2019

@Lokathor I've added you to the github org, tell me if you can at least triage issues. Maybe creating teams is a good idea as we expand as it simplifies managing these things

@AlexEne
Copy link
Member

AlexEne commented Oct 3, 2019

Alright, so I did a bit of cleanup in our org, branches require PRs with 1 approval in order to be merged. Please check that approve button.

It's not possible to accidentally force-push to master branches.
Everyone in the org can now merge/push things.

I didn't add teams yet but for now this should improve things a bit.

@AlexEne AlexEne closed this as completed Oct 3, 2019
@AlexEne AlexEne reopened this Oct 3, 2019
@Lokathor
Copy link
Member Author

I'm going to close this as "fine for now". We seem to be doing well with issues and with the newsletter.

We can open another issue if this becomes a problem again.

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

3 participants