tree 2b01b07f73b3d4b1f2c976f92d323b186d5fa701
parent 6d4ae44e4507d481a42582197bb0300b6263019c
parent 0c9fdd021c33a21fd9b37341cf44ceffa7488ba7
author Tom Rini <trini@konsulko.com> 1594842485 -0400
committer Tom Rini <trini@konsulko.com> 1594842485 -0400

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