&gt; <@U87DZN4MT> may have a better suggestion, bu...
# contribute
@bitter-oil-46081 may have a better suggestion, but we should probably add a section on releases to
and include homebrew in that.
Yeah, this sounds reasonable. @adventurous-jordan-10043, thanks for updating the formula, if you want to do a PR to
and add a little section on Homebrew that would be much appreciated. I had actually realized this morning that we would need to do that as part of the release, but didn't know what to do 🙂.