> Может их устроит git for Windows? Там bash и есть ssh клиент.
> Но вообще это какие-то пещерные люди. Логичнее будет снести богомерзкий центос и
> установить им православный виндовс сервер, к которому они будут подключаться по
> рдп.

Не очень-то и пещерные: математики. В shell они прекрасно могут, но вот в putty или даже win 10 сразу тупик. В данный момент собрал им связку OpenSSH+PS tools от Руссиновича. Смущает необходимость обновления powershell - у многих все по умолчанию. Возникает необходимость сборки приложения со всеми необходимыми продуктами. Дистрибутив получается почти в 300мб. Вот и подумалось может уже кто-то решал схожую задачу более бюджетными способами.