Closed allisonletts closed 2 years ago
@prescod thanks for checking! Yeah, I created the pr before deciding that I wanted to fundamentally change what I was working on. I renamed the branch, and it looks like it did a few things to this PR behind the scenes. But this is tracked in feature/buildings now.
Did you meant o close this @allisonletts ? it's not merged.