]> git.ipfire.org Git - thirdparty/u-boot.git/commitdiff
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