Closed gabrielesvelto closed 2 years ago
Resolves: #39
lgtm
It feels like we should setup Github auto merge or mergify or something, especially now that we are actually running tests in CI.
Resolves: #39