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,