projects / u-boot.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3f126c7 9e0f5ea)
Merge branch '2020-07-15-ci-updates'
authorTom Rini <trini@konsulko.com>
Wed, 15 Jul 2020 19:48:05 +0000 (15:48 -0400)
committerTom Rini <trini@konsulko.com>
Wed, 15 Jul 2020 19:48:05 +0000 (15:48 -0400)
- Make sure GRUB is copied to the right place for CI on GitLab/Azure
- Note in our GitHub PR template that you can use this to trigger Azure CI


Trivial merge