Closed nazrhyn closed 1 year ago
Incidentally, I'd be happy to make the PR over there to add this, if I can get an explicit post of permission here. ❤️
While you absolutely have my permission, I am curious about what the process for updating the version in that repo is. Does each update have to be a separate PR, or does the repo have a script to detect new releases?
I'm not sure! But I'll take a look and report back.
Okay, PR created! Looking at the PR history, it seems like updates to fonts need a new PR because the font file binaries are checked in.
PR merged 🎉.
Should add this font to https://www.programmingfonts.org/ (https://github.com/braver/programmingfonts). It's a great collection of a ton of programming fonts with some really nice try-before-you-buy features.
Cool idea to make this!