[riot-commits] [RIOT-OS/RIOT] 025e5d: pkg/pkg.mk: avoid git fetch if version is already ...

Francisco noreply at github.com
Wed Jun 2 14:47:25 CEST 2021


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 025e5db5922974f04ce63fc3844b0a3df17674cc
      https://github.com/RIOT-OS/RIOT/commit/025e5db5922974f04ce63fc3844b0a3df17674cc
  Author: Alexandre Abadie <alexandre.abadie at inria.fr>
  Date:   2021-05-31 (Mon, 31 May 2021)

  Changed paths:
    M pkg/pkg.mk

  Log Message:
  -----------
  pkg/pkg.mk: avoid git fetch if version is already there


  Commit: e5d09fda25ffbeacd5fda35baef4162794d6146e
      https://github.com/RIOT-OS/RIOT/commit/e5d09fda25ffbeacd5fda35baef4162794d6146e
  Author: Francisco <femolina at uc.cl>
  Date:   2021-06-02 (Wed, 02 Jun 2021)

  Changed paths:
    M pkg/pkg.mk

  Log Message:
  -----------
  Merge pull request #16514 from aabadie/pr/pkg/avoid_git_fetch

pkg/pkg.mk: avoid git fetch if commit is already there


Compare: https://github.com/RIOT-OS/RIOT/compare/c8cbe25cd7e8...e5d09fda25ff


More information about the commits mailing list