From: Tom Rini Date: Wed, 15 Jul 2020 19:48:05 +0000 (-0400) Subject: Merge branch '2020-07-15-ci-updates' X-Git-Url: http://git.dujemihanovic.xyz/html/static/git-favicon.png?a=commitdiff_plain;h=47b0a493247b38c1557062e108cc4868e211a73e;p=u-boot.git Merge branch '2020-07-15-ci-updates' - 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 --- 47b0a493247b38c1557062e108cc4868e211a73e