Adding GPG keys to Gitpod
It's actually fairly straightforward to add GPG keys to Gitpod. Do note that this is halfway secure, in that someone (Gitpod) does have access to your key, regardless of what you do. See the issues below for more on this topic.
⚠️ DO NOT upload your normal signing key that you care about. Create a new one.⚠️ These security warnings are in no way meant to suggest that the folks at Gitpod are untrustworth; in this author's opinion, quite the opposite. They're merely meant to highlight actual security in the limit.
