Skip to content

Add meeting notes from the March 2023 meeting #76

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

Merged
merged 3 commits into from
Mar 31, 2023

Conversation

CAM-Gerlach
Copy link
Member

@CAM-Gerlach CAM-Gerlach commented Mar 19, 2023

Adds the meeting notes from the March 2023 meeting, with some minor textual cleanup to linkify, remove sections that weren't relevant, tweak formatting and fix a couple typos (in a separate commit for easy reviewability).

Also replaces Current agenda: TBD on the index page with a link to the current agenda on HackMd, and got the live agenda ready for the next meeting.


📚 Documentation preview 📚: https://docs-community--76.org.readthedocs.build/en/76/

@CAM-Gerlach CAM-Gerlach added the doc:docs-community Related to docs-community.python.org label Mar 19, 2023
@CAM-Gerlach CAM-Gerlach force-pushed the add-meeting-notes-2023-03 branch from a81635f to acbd204 Compare March 19, 2023 03:59
@CAM-Gerlach
Copy link
Member Author

CAM-Gerlach commented Mar 19, 2023

Seems like arewemeetingyet is down, which is causing the check failure. Do we want to switch to another site, remove the links or just wait a bit? We'd probably want to do the same on the "live" doc.

@hugovk
Copy link
Member

hugovk commented Mar 19, 2023

I reported it at djc/awmy#28

We can merge already and check back later. If it's still down by the next meeting, let's replace it.

@CAM-Gerlach
Copy link
Member Author

Considering at least per the readme it's mentioned as still running on Python 2.7 (though it seems it might be Python 3 compatible), and there have been no changes for years, it seems like the answer may be no. We could actually host it ourselves since it's FOSS, but it looks rather archaic and its probably more realistic to just use another service.

@hugovk
Copy link
Member

hugovk commented Mar 19, 2023

https://arewemeetingyet.com/UTC/2022-10-03/19:30/Docs%20Meeting is back up!

@CAM-Gerlach
Copy link
Member Author

Unfortunately, I can't restart the CIs without closing and re-opening this issue, as it seems neither I nor even the core devs have Write access here.

FWIW, the permissions here have always seemed a little restrictive to me relative to other much more critical repos (like cpython, peps, devguide, core-workflow, etc.) that even triagers have the GitHub write role (minus actual push/commit/merge) to. We might want to consider giving the docs team write access, and/or implementing python/core-workflow#460 here so we can all use the full GitHub feature set without needing merge rights.

@CAM-Gerlach CAM-Gerlach reopened this Mar 20, 2023
@encukou
Copy link
Member

encukou commented Mar 31, 2023

Thanks!

@encukou encukou merged commit 0b67c95 into python:main Mar 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc:docs-community Related to docs-community.python.org
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants