I think in general, git is not a great tool for developers. If non-developers are required to use git, I think you may have a process problem. However, if that'

I think in general, git is not a great tool for developers. If non-developers are required to use git, I think you may have a process problem. However, if that's the state of things, I think non-developers are probably better served by a GUI than a CLI command.