Migrate 'encrypted variables' variables to 'repository settings'.

The GitHub token used for GitHub Pages deployment was revoked (see https://blog.travis-ci.com/2017-05-08-security-advisory) so I took the opportunity to make use of the "new" repository settings feature instead of fiddling with variable encryption again.

diff --git a/.travis.yml b/.travis.yml
index fd2672887a527e682be8fb40e485a989f5a86e0e..c84eb0cc2dd40702b40ced44755f15ce01e131b8 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,7 +12,3 @@ script:
   - make doc zip
 after_success:
   - make -f Makefile.travis
-env:
-  global:
-    - secure: "h+hoQdEHGPLNwaqGKmSaM8NBRDLc2X+W05VsnNG2Feq/wPv/AiBjONNlzN7jRf6D6f3aoPXaQ2Lc3bYWdxGvFRCmwiofdxkJI9n5L8HPHLZ2lf37MQsXmGJzoTFOvjPLj73H6HlbI9Ux0El3zO6hvalxiXj6TfoZ41dbhNyvpYk="
-    - secure: "A4hMEe5RRfUtYjFGbT7QAvT1Tyo434N+/TiuQeQ4q0L46c79LnXuGQzbFLOFZshZiplLkJr7lFg466CoI1bf2L0cQOew/LesMhE75v0HQ7tZnExWhdpAk0ri6nWixbjn/dmQ0+HxjzJ48A44DMMBYcvSIsO4vflvuJ8etfSg42k="