In the end, I introduced them to the git CLI, simply because I could always answer or find an answer to their questions about it.