splitgraph / sgr

sgr (command line client for Splitgraph) and the splitgraph Python library
https://www.splitgraph.com
Other
325 stars 17 forks source link

Upgrade mypy to 1.0.1 #787

Closed neumark closed 1 year ago

mildbyte commented 1 year ago

Incorporated into https://github.com/splitgraph/sgr/pull/788