diff options
Diffstat (limited to 'docs/content')
| -rw-r--r-- | docs/content/docs/meeting_notes/2024-07-01.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/content/docs/meeting_notes/2024-07-01.md b/docs/content/docs/meeting_notes/2024-07-01.md index 7ce27d4..ed78166 100644 --- a/docs/content/docs/meeting_notes/2024-07-01.md +++ b/docs/content/docs/meeting_notes/2024-07-01.md @@ -38,6 +38,15 @@ Useful links contributors would be nice for this, although currently everything is still local on my machine. +- **Finger server** (Joe, Johannes) + + Joe recently proposed [the deployment of a finger + server](https://github.com/python-discord/infra/pull/373). Do we want this and + if yes, how are we going to proceed with this? If we do not want any, running + the `pinky` command locally or via `ssh` would be a sound idea. We also need + to consider whether members will update their files regularly - we may want to + incorporate functionality for this into e.g. King Arthur. + - **Rethinking Bella: Suggested measures to gain autonomy** (Chris) Chris will present our current plans to biologically re-think and improve |