language: c
sudo: false

script:
  - make versions.json
  - git config --global user.email 'mxebot@gmail.com'
  - git config --global user.name 'MXEBot as Travis CI'
  - git config --global push.default simple
  - git config credential.helper "store --file=.git/credentials"
  - echo "https://${GH_TOKEN}:@github.com" > .git/credentials
  - git remote set-url origin 'https://github.com/mxe/mxe.git'
  - git commit -a -m 'Update versions.json' || true
  - git push origin HEAD:master
  - git push origin HEAD:gh-pages

env:
  global:
    secure: M3fS92HUV+3PklS3h1CVG+TuhZLYgGEeWVsL0ICvJKnbMSvaqm0/OAxwlXbKLkZ/j6JK2yGgChx8QzffkoRr67tHCaPM7cR7mFRn7GivJcgZcA8UAaL9V4AtEHqFIonat8XEsxruUPJyVHgGiTBQfKphQEGtKtHF8iSUhvIxqC8=