diff options
| author |  Johannes Christ <[email protected]> | 2024-04-27 21:21:51 +0200 |
|---|---|---|
| committer |  Joe Banks <[email protected]> | 2024-04-27 21:21:04 +0100 |
| commit | de9307796340070c0b44e6325a902184ad65492a (patch) | |
| tree | f7a873d1a4b14281580b0450ba77ee9290b22c3c /docs/meeting_notes/2023-08-22.md | |
| parent | Use same indent for all fail2ban options (diff) | |
Move documentation to Hugo
Shortly before merge, the repository settings need to be updated to
set GitHub Actions as the deployment source, to prevent GitHub from
trying to build with Jekyll.
Diffstat (limited to 'docs/meeting_notes/2023-08-22.md')
| -rw-r--r-- | docs/meeting_notes/2023-08-22.md | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/docs/meeting_notes/2023-08-22.md b/docs/meeting_notes/2023-08-22.md deleted file mode 100644 index 2c57846..0000000 --- a/docs/meeting_notes/2023-08-22.md +++ /dev/null @@ -1,43 +0,0 @@ ---- -layout: default -title: "2023-08-22: Devops meeting notes" -parent: Meeting notes -nav_order: ---- - -# DevOps Meeting Notes - - -<!-- - -Useful links - -- Infra open issues: https://github.com/python-discord/infra/issues - -- infra open pull requests: https://github.com/python-discord/infra/pulls - -- *If* any open issue or pull request needs discussion, why was the existing - asynchronous logged communication over GitHub insufficient? - ---> - - -## Agenda - -- Bella said he is on the streets. **We should start a gofundme**. - - - After some more conversation this just means he is on vacation and currently - taking a walk. - -- Chris has been busy with turning his living room into a picasso art - collection, Johannes has been busy with renovating his bedroom, and Bella is - not home. - - - Our next priority is winning. - -- We checked out some issues with documentation generation in `bot-core` that - Bella has mentioned. We managed to fix one issue with pydantic by adding it to - an exclude list but ran into another problem next. - - -<!-- vim: set textwidth=80 sw=2 ts=2: --> |