From: Tom Rini <trini@konsulko.com>
Date: Wed, 15 Jul 2020 19:48:05 +0000 (-0400)
Subject: Merge branch '2020-07-15-ci-updates'
X-Git-Tag: v2025.01-rc5-pxa1908~2308
X-Git-Url: http://git.dujemihanovic.xyz/img/static/%7B%7B%20%24.Site.BaseURL%20%7D%7Dposts/index.xml?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