[riot-commits] [RIOT-OS/RIOT] 1e67b7: jenkins: use local RIOT mirror to speed up fetches

Sebastian Meiling s at mlng.net
Mon Jan 23 15:24:01 CET 2017


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 1e67b7a57c24e692b5277d99d2219412f0a2b3e2
      https://github.com/RIOT-OS/RIOT/commit/1e67b7a57c24e692b5277d99d2219412f0a2b3e2
  Author: Cenk Gündoğan <mail-github at cgundogan.de>
  Date:   2017-01-21 (Sat, 21 Jan 2017)

  Changed paths:
    M Jenkinsfile

  Log Message:
  -----------
  jenkins: use local RIOT mirror to speed up fetches


  Commit: 4e0dec490885c4493a357b68df6f3a5b9a5e3804
      https://github.com/RIOT-OS/RIOT/commit/4e0dec490885c4493a357b68df6f3a5b9a5e3804
  Author: Sebastian Meiling <s at mlng.net>
  Date:   2017-01-23 (Mon, 23 Jan 2017)

  Changed paths:
    M Jenkinsfile

  Log Message:
  -----------
  Merge pull request #6446 from cgundogan/pr/jenkins_riot_mirror

jenkins: use local RIOT mirror to speed up fetches


Compare: https://github.com/RIOT-OS/RIOT/compare/808f954faa17...4e0dec490885


More information about the commits mailing list