Had that recently, as GitHub still has no support for private upload I wanted to upload an age-encrypted tarball of the logs / repro (incidentally this otherwise works extremely well as github exposes public keys through an endpoint, you can just age with a few `-r$(curl …)` and you have a file decryptable by all the specified github users, really convenient).
But then I had to zip the entire thing again…
No.
> I only found ssh pubkeys.
Yes.
> What endpoint gives out the PGP keys?
I neither know nor care.
Started using Kap to record to webm: https://getkap.co/
Webmy.com is my giphy clone, but using webm.
Although in this case I would have thought GitHub uses a whitelist rather than a blacklist, so they should have said "webm isn't whitelisted".
(Notice how that is different to "webm is blacklisted" but your alternative wouldn't have captured that distinction.)