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)
commit47b0a493247b38c1557062e108cc4868e211a73e
tree2b01b07f73b3d4b1f2c976f92d323b186d5fa701
parent3f126c764d63ddf6f26bc742a96938a0ecd8b8dc
parent9e0f5eab4426c4eec72129b505ee1f2f873aabf8
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