diff options
-rw-r--r-- | TODOs.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -355,7 +355,11 @@ This is the output of inspecting the content of the generated Docker image: [`f428574ec4bf3d65954ed1b0c34ed86730f67647`](https://git.euandreh.xyz/git-permalink/commit/?id=f428574ec4bf3d65954ed1b0c34ed86730f67647). - TODO in 2021-07-26 -## DOING Replace `git://` with `https://` {#task-ab7d98bb-7557-1891-b102-a48942d762be} +## DONE Replace `git://` with `https://` {#task-ab7d98bb-7557-1891-b102-a48942d762be} +- DONE in 2021-09-20 + + Done in + [`ca68b3579dbe05ab9e11d78586c4e4efaa35932a`](https://git.euandreh.xyz/git-permalink/commit/?id=ca68b3579dbe05ab9e11d78586c4e4efaa35932a). - DOING in 2021-08-15 I've sent a [another message], now to Savannah, to try to fix this too. |