diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-02-14 09:51:54 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-02-17 15:40:17 +0000 |
commit | 3404247115c1a853a64a01dfa5468aaef289bcf1 (patch) | |
tree | 31dc14b91a66fc36cc7624eebf32266063720084 /src/ec | |
parent | 4714100c49663cee47cd37dbfe31e6ae11c4b6b4 (diff) |
util/docker: Use more stable URL
The pgeorgi namespace is my own and things could change without notice
there. To overcome this issue, encapsulate is now maintained on
review.coreboot.org/encapsulate.git and mirrored over to github, so
let's use that.
Change-Id: I12e43f61f693a6b0392b84dd56ede665a1a2129a
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38899
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/ec')
0 files changed, 0 insertions, 0 deletions