1. 19 Apr, 2016 1 commit
    • Tobias Schmidt's avatar
      Use authentification for github release API requests · 82e4dd26
      Tobias Schmidt authored
      So far the requests against the Github API to fetch release information
      has been made unauthenticated, making them subject to a rate-limit of 10
      requests per hour per IP. As the build process is executed on Travis CI,
      this results in many build failures.
      
      The requests are now made with a personal access token, in the form of
      GITHUB_AUTHENTICATION="-u prombot:<oauth token>". The standard printing
      in the Makefile has been removed in order to not expose the token.
      82e4dd26
  2. 18 Apr, 2016 2 commits
  3. 17 Apr, 2016 5 commits
  4. 16 Apr, 2016 19 commits
  5. 15 Apr, 2016 7 commits
  6. 14 Apr, 2016 5 commits
  7. 13 Apr, 2016 1 commit