Yes I'll make a ticket. If you have gh account you can speed things up in the future by making the ticket yourself.
Thank you!
I don't have a GitHub account. I vowed to not have accounts at Big Tech services, but maybe I was too early. Looking forward to some form of Git/project management over Nostr.
reply