Some did use SourceTree, although I emphasized the command line more. Perhaps I should move toward having them use the GUI versions.