Add Filippo Mariotti as a maintainer (#3468)

This is to make it official, we've already spoken to current maintainers. Welcome @barambani! 🎉
typelevel · Jun 11, 2020 · 50259b4 · 50259b4
1 parent 73988a4
commit 50259b4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -376,6 +376,7 @@ The current maintainers (people who can merge pull requests) are:
  * [peterneyens](https://github.com/peterneyens) Peter Neyens
  * [tpolecat](https://github.com/tpolecat) Rob Norris
  * [non](https://github.com/non) Erik Osheim
+ * [barambani](https://github.com/barambani) Filippo Mariotti
  * [mpilquist](https://github.com/mpilquist) Michael Pilquist
  * [milessabin](https://github.com/milessabin) Miles Sabin
  * [djspiewak](https://github.com/djspiewak) Daniel Spiewak