Closed vedantdhruv96 closed 2 years ago
lgtm. @bprather ?
I don't know why, but I read 'lgtm' as the somewhat forceful "let's get this merged."
In the future this sort stuff can go straight to master, we're not that big a project
lgtm. @bprather ?