Unfortunately, the Docker README.md badge needs to be pointing to the specific release that just
came out (for instance, v1.0.1). Otherwise, it won't work. To fix it, we will run a script that
uses sed to modify the version number in the README file.
Unfortunately, the Docker README.md badge needs to be pointing to the specific release that just came out (for instance,
v1.0.1
). Otherwise, it won't work. To fix it, we will run a script that uses sed to modify the version number in the README file.Fixes: #12