Today something completely unrelated: A quick look at a neat Docker Image I
found: Gitea [https://gitea.io/]
(This post was originally posted in 2019, by the way - just dated back to 2018,
to keep a sensible order for this blog)
I knew Gitlab [https://about.gitlab.com/] before,