Кинулся я в эти сервисы уже второй год как. Пробовал разные подходы и практики. Инфы о том как это делать в обучении не было. Сейчас более-менее оформился полученный опыт. Поэтому и делюсь им.
Но мне всё равно хайповый или нет сервис. Но на выбор сервисов несколько факторов влияет и известность, и юзабельность, и личное восприятие. Для онлайн-встреч, например, использую Google Meet. Но пробовал и другие. Про этот опыт тоже напишу статьи, но позже.
Наверное, более важно не то какие именно сервисы я описываю. А то как они применяются. Но это сугубо моё личное мнение.
Это я очепятался. Мы пробовали делать большой проект с разными репозиториями и с подпроектами.
Но интерфейс не сильно понравился. Trello ка-то больше нравится.
Про GitHub Pages будет в следующих статьях. Где про разработку «большого» проекта несколькими командами в разных репозиториях.
Просить студентов в комит сообщения и PR указывать номер Issue через # — все комиты автоматом появятся в Issue
Так и делаю.
Просить студентов все решения складывать по папкам по заданиям — в результате можно будет мерждем нормально закрывать PR-ы и получим сборник решений всех заданий за весь год с историей роста студентов
Ещё я бы сразу складывал в репозиторий полный файл .gitignore с самыми распространёнными файлами от IDE и бинарниками, чтобы уберечь студентов от комита лишнего
Обычно я выкладываю сразу .gitignore под VS и JetBrains. Предварительно выяснив какие IDE у студентов. Но всё равно бывают коммиты с «мусором».
Ну и бесплатного плана GitHub Actions должно хватить на всякие линтеры, чтобы всякие кодстайлы автоматом проверялись.
С GitHub Actions ещё не разбирался. Для автоматической проверки использую codefactor.io
Я считаю, что в ВУЗе делать нечего тем, кого туда впихнули, кто от армии косит и т.п. По моему мнению, образование нужно получать, когда понимаешь кем хочешь стать. Но это понимание не всегда приходит в том возрасте, когда пора поступать в ВУЗ.
Это потом указал в разделе «Какие можно внести изменения». Но если студентов под 100, то не всегда хочется под каждого заводить ветку. Ленивый я препод.
Я заставляю. Для того, чтобы после обучения они не делали коммиты через браузер с названием «Added files via upload». Чтобы потом не было стыдно за тех студентов, которых учил.
Практическая польза?
Кому как. Кому-то будет просто полезно узнать, какой один из вариантов применения в обучении существует. Кому-то — что вообще в обучении можно применять GitHub. А кому-то — как инструкция к действию как внедрять использование GitHub в обучении программированию.
Но мне всё равно хайповый или нет сервис. Но на выбор сервисов несколько факторов влияет и известность, и юзабельность, и личное восприятие. Для онлайн-встреч, например, использую Google Meet. Но пробовал и другие. Про этот опыт тоже напишу статьи, но позже.
Наверное, более важно не то какие именно сервисы я описываю. А то как они применяются. Но это сугубо моё личное мнение.
Я нигде не говорил, что мне не угодил Discord. Просто не пробовал его применять в обучении.
Но интерфейс не сильно понравился. Trello ка-то больше нравится.
Про GitHub Pages будет в следующих статьях. Где про разработку «большого» проекта несколькими командами в разных репозиториях.
Так и делаю.
Интересный вариант. Постараюсь попробовать его.
Обычно я выкладываю сразу
.gitignoreпод VS и JetBrains. Предварительно выяснив какие IDE у студентов. Но всё равно бывают коммиты с «мусором».С GitHub Actions ещё не разбирался. Для автоматической проверки использую codefactor.io
Так что тут сложно всё.
А в качестве клиента рекомендую GitKraken или SourceTree. Хотя студенты в праве выбирать и любые другие GUI-клиенты.
Суть именно в том, чтобы использовать GitHub в процессе обучения, а не только научить работе с ним.
Кому как. Кому-то будет просто полезно узнать, какой один из вариантов применения в обучении существует. Кому-то — что вообще в обучении можно применять GitHub. А кому-то — как инструкция к действию как внедрять использование GitHub в обучении программированию.