On Thu, 4 Aug 2022, Todd Walton wrote: > I have yet to see a git tool without a UI. > What about git? Personally, I have never used a UI on the client side, .. the point was about the *server*, .. Lee