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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

PEP 668: Update link to official NixOS wiki #3775

Merged
merged 1 commit into from
May 17, 2024
Merged

Conversation

Mic92
Copy link
Contributor

@Mic92 Mic92 commented May 8, 2024

This commit updates the the link from the former, unofficial nixos wiki page to the new https://wiki.nixos.org

ref: NixOS/foundation#113

  • Change is either:
    • To a Draft PEP
    • To an Accepted or Final PEP, with Steering Council approval
    • To fix an editorial issue (markup, typo, link, header, etc)
  • PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

馃摎 Documentation preview 馃摎: https://pep-previews--3775.org.readthedocs.build/

@Mic92 Mic92 requested a review from dstufft as a code owner May 8, 2024 20:47
Copy link

cpython-cla-bot bot commented May 8, 2024

All commit authors signed the Contributor License Agreement.
CLA signed

@Rosuav
Copy link
Contributor

Rosuav commented May 8, 2024

You checked the box saying that you have Steering Council approval. Do you?

@JelleZijlstra
Copy link
Member

This change doesn't need Steering Council approval. I think the third checkmark (an editorial issue) instead of the second (a change with SC approval) should be checked.

@Rosuav
Copy link
Contributor

Rosuav commented May 8, 2024

I think the third checkmark (an editorial issue) instead of the second (a change with SC approval) should be checked.

That makes more sense. 馃憤 I'm not familiar with the governance of NixOS ,is the linked-to issue sufficient to show that this is indeed the correct wiki link?

@Mic92
Copy link
Contributor Author

Mic92 commented May 8, 2024

Well, here is more evidence: https://discourse.nixos.org/t/wiki-nixos-org-is-now-live/42570
https://github.com/NixOS/nixos-wiki-infra and also see that https://nixos.wiki says that it's the Unofficial wiki

@hugovk hugovk changed the title PEP 0668: Update link to official nixos wiki PEP 668: Update link to official NixOS wiki May 9, 2024
@Mic92
Copy link
Contributor Author

Mic92 commented May 16, 2024

Anything left to do here?

This commit updates the the link from the former, unofficial nixos wiki page to the new https://wiki.nixos.org

ref: NixOS/foundation#113
@JelleZijlstra JelleZijlstra merged commit 2b85223 into python:main May 17, 2024
6 checks passed
@Mic92 Mic92 deleted the patch-1 branch May 17, 2024 09:53
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

Successfully merging this pull request may close these issues.

None yet

3 participants