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

Transfer ownership of infrastructure #481

Closed
4 tasks done
zmitchell opened this issue Mar 20, 2023 · 6 comments
Closed
4 tasks done

Transfer ownership of infrastructure #481

zmitchell opened this issue Mar 20, 2023 · 6 comments

Comments

@zmitchell
Copy link
Contributor

zmitchell commented Mar 20, 2023

If we want to implement new infrastructure or make changes we need to transfer ownership of the infrastructure. We also need to decide who to transfer ownership to.

Depends on: #262

@asymmetric
Copy link
Contributor

asymmetric commented May 21, 2023

@zmitchell we should list what infrastructure we're talking about.

@fricklerhandwerk
Copy link
Collaborator

I moved the list to the issue description. I also removed the make-official label, because there is either endless proliferation or losing history once they become obsolete. We should use tracking issues consistently to capture task closures.

@domenkozar
Copy link
Member

Done!

asymmetric added a commit that referenced this issue Aug 18, 2023
The reasoning is:
- domenkozar has transferred ownership of the infrastructure #481
- unless someone is a team lead (as is the case for zmitchell), we
  (people with write access to nix.dev) should all be able to merge PRs
@asymmetric
Copy link
Contributor

@domenkozar as shown by the linked PR, the transfer is still not 100% complete 😅

@asymmetric asymmetric reopened this Aug 18, 2023
asymmetric added a commit that referenced this issue Aug 18, 2023
The reasoning is:
- domenkozar has transferred ownership of the infrastructure #481
- unless someone is a team lead on a specific sub-team (as is the case
  for zmitchell), we (people with write access to nix.dev) should all be
  able to merge PRs
@domenkozar
Copy link
Member

I don't think it's related to the transfer, but it you want to keep it open that's fine.

@asymmetric
Copy link
Contributor

You're right, I'll close this and open a separate issue for the CODEOWNERS.

infinisil pushed a commit that referenced this issue Aug 21, 2023
The reasoning is:
- domenkozar has transferred ownership of the infrastructure #481
- All the doc team members should get pinged for changes, let's see how
  it goes for some time, we can make it more specific later

Co-Authored-By: @infinisil, @fricklerhandwerk, @proofconstruction
infinisil pushed a commit that referenced this issue Aug 21, 2023
The reasoning is:
- domenkozar has transferred ownership of the infrastructure #481
- All the doc team members should get pinged for changes, let's see how
  it goes for some time, we can make it more specific later

Co-Authored-By: @infinisil, @fricklerhandwerk, @proofconstruction
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

No branches or pull requests

4 participants