commit | 47b0a493247b38c1557062e108cc4868e211a73e | [log] [tgz] |
---|---|---|
author | Tom Rini <trini@konsulko.com> | Wed Jul 15 15:48:05 2020 -0400 |
committer | Tom Rini <trini@konsulko.com> | Wed Jul 15 15:48:05 2020 -0400 |
tree | 2b01b07f73b3d4b1f2c976f92d323b186d5fa701 | |
parent | 3f126c764d63ddf6f26bc742a96938a0ecd8b8dc [diff] | |
parent | 9e0f5eab4426c4eec72129b505ee1f2f873aabf8 [diff] |
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