util/docker: Use more stable URL
tree31dc14b91a66fc36cc7624eebf32266063720084
-rw-r--r-- 896 .checkpatch.conf
-rw-r--r-- 648 .clang-format
-rw-r--r-- 185 .editorconfig
-rw-r--r-- 2782 .gitignore
-rw-r--r-- 1076 .gitmodules
-rw-r--r-- 83 .gitreview
drwxr-xr-x - 3rdparty
-rw-r--r-- 2937 AUTHORS
-rw-r--r-- 17987 COPYING
drwxr-xr-x - Documentation
drwxr-xr-x - LICENSES
-rw-r--r-- 16575 MAINTAINERS
-rw-r--r-- 16957 Makefile
-rw-r--r-- 50729 Makefile.inc
-rw-r--r-- 3305 README.md
drwxr-xr-x - configs
-rw-r--r-- 1626 gnat.adc
drwxr-xr-x - payloads
drwxr-xr-x - src
-rw-r--r-- 9842 toolchain.inc
drwxr-xr-x - util