chore(.travis.yml): gpg key for new rvm maintainer

[OS X builds are currently failing on Travis](https://travis-ci.org/leanprover/lean/jobs/477775262#L1091), the underlying issue seems to be that [rvm has a new maintainer with a new gpg key](rvm/rvm#4520).
leanprover · Jan 11, 2019 · be4b782 · be4b782
1 parent e79cb3f
commit be4b782
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -108,6 +108,7 @@ before_install:
       brew install gmp &&
       # workaround for https://github.com/travis-ci/travis-ci/issues/6307
       command curl -sSL https://rvm.io/mpapis.asc | gpg --import -
+      command curl -sSL https://rvm.io/pkuczynski.asc | gpg --import -
       rvm get head || true
     fi