Использование GitHub в обучении студентов

Да не за что.
Суть именно в том, чтобы использовать GitHub в процессе обучения, а не только научить работе с ним.

От git log --graph его отличает нормальная интерактивность, gitk не видел. Кроме того, никто не скрывает работу с консолью: она доступна по клику мышкой. Для работы (а не обучения), отсутствие необходимости конвертировать картинку в голове в команды гита играет решающую роль: если какие-то этапы разработки можно выполнять с меньшей когнитивной нагрузкой, это следует так и делать. И мне кажется, что с gui-клиентами тоже имеет смысл знакомиться (пусть и факультативно). Что касается разных ОС, под Ubuntu есть mono, а вот с Mac-ами да, там почему-то какие-то проблемы имеются, в этом плане у SourceTree должно быть меньше проблем, по идее (сам я его бросил после того, как увидел GitExtensions, как мне показалось, у него интерфейс более удобный для основных задач связанных с git-ом, да и сложности с установкой в отсутствии инета в первых версиях SourceTree оттолкнули).

Но я понимаю выбор именно консольных команд для обучения, это как сборка проекта запуском компилятора и линковщика вручную. С одной стороны, позволяет понять, что кроется под кнопочкой build в IDE, плюс разминка для мозгов, с другой стороны — снятие проблемы со студентами, которые делают не то, что их просят. Сам выдавал инструкцию разрабочтикам в виде набора команд, например, когда надо было всю команду переключить на новую master-ветку после массивного rebase-а, который приходилось делать после того, как один чудак файл с паролем в репозиторий выложил.

В последний раз, когда с ним сталкивался, это было хитросплетение из хитрого контекстного меню, которое, во-первых, не всегда на виду (что заметно ухудшает кривую обучения необходимостью постоянного открытия этого меню), а во-вторых, названия некоторых пунктов не очень удачно ложатся на терминологию GIT-а, т.е., изучая этот инструмент, будешь знать только его, а не GIT. Уже не говоря о привязке к проводнику Windows. У GIT первично дерево коммитов, а рабочая копия — это «слепок» конкретного коммита. Конечно, есть и пофайловая история и т.п., но это вспомогательные инструменты.
Просто я наблюдал за целым отделом программистов, который переводился сперва с TeamCoherence на Subversion, а затем на Git. У тех, кто привык к TortoiseSVN, а затем поставил TortoiseGIT, в итоге понимание Git-а было гораздо хуже, чем те, кто разбирался с командами Git-а и поставил другой инструмент, ориентированный в первую очередь на дерево коммитов. Были те, кто и с TortoiseGit разобрался, но в итоге им было сложнее с него уйти.