mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-06-02 18:08:11 +00:00
This allows us to enrich the build's commit property as a GitHub link. This change also displays the property values using a monospaced font, which I think looks a little nicer (especially the commit SHA).