[riot-commits] [RIOT-OS/RIOT] 5816aa: dist: tools: git-cache: update to latest upstream

Kaspar Schleiser kaspar at schleiser.de
Thu May 17 23:11:49 CEST 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 5816aa7419bb61ce9248f0b200f59d82198a6b49
      https://github.com/RIOT-OS/RIOT/commit/5816aa7419bb61ce9248f0b200f59d82198a6b49
  Author: Joakim NohlgÄrd <joakim.nohlgard at eistec.se>
  Date:   2018-05-17 (Thu, 17 May 2018)

  Changed paths:
    M dist/tools/git/git-cache

  Log Message:
  -----------
  dist: tools: git-cache: update to latest upstream

Upstream commit 04f04e5272f9fd68113a7f07ef034dd672630c79

https://github.com/kaspar030/git-cache/tree/04f04e5272f9fd68113a7f07ef034dd672630c79


  Commit: 4e955175f94748f505528fb9be3f15f546d6ae13
      https://github.com/RIOT-OS/RIOT/commit/4e955175f94748f505528fb9be3f15f546d6ae13
  Author: Kaspar Schleiser <kaspar at schleiser.de>
  Date:   2018-05-17 (Thu, 17 May 2018)

  Changed paths:
    M dist/tools/git/git-cache

  Log Message:
  -----------
  Merge pull request #9150 from gebart/pr/git-cache-update

dist: tools: git-cache: update to latest upstream


Compare: https://github.com/RIOT-OS/RIOT/compare/ab0071622b5e...4e955175f947
      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.


More information about the commits mailing list