Merge branch 'gitpod-gpg' into 'master'

Set up GPG to have signed commits in Gitpod

See merge request postgres-ai/database-lab!407

Author: NikolayS

Diff for: .gitpod.yml

@@ -0,0 +1,8 @@
+tasks:
+  - before: >
+      [[ ! -z $GNUGPG  ]] &&
+      cd ~ &&
+      rm -rf .gnupg &&
+      echo $GNUGPG | base64 -d | tar --no-same-owner -xzvf -
+
+# test