Werner LEMBERG Wed, 03 Jun 2020 13:35:25 -0700
> I think it can go. Git is now a standard tool. We don't need to > provide custom UIs for it.
+1 Werner