Merge pull request #1375 from informalsystems/advertise-co-design-mee…

…tings-on-readme Add notification about our co-design meetings to README
informalsystems · Feb 22, 2024 · a5b6e88 · a5b6e88
2 parents 8174f30 + 0c0b5d9
commit a5b6e88
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -257,6 +257,10 @@ Cosmos in 2023.
 - Join the [Quint discussions on GitHub](https://github.com/informalsystems/quint/discussions)
 - [Contribute your spell](./examples/spells/contribute-your-spell.md) to the collection of Quint spells
 - [Contribute](./CONTRIBUTING.md) to the development of Quint
+- Join or co-design meetings: We hold fortnightly meetings with users and those
+  interested in contributing to the design and development of Quint. Contact us if
+  you would like an invitation.
+
 
 ## Documentation