Как мы пытаемся подружить EDT и gitlab.com, и как оно не получается.

Начну с исходных условий:
Группа удаленных разработчиков (пока 2). Решили попробовать групповую разработку не через хранилище 1С, а через git.
Бесплатный приватный репозиторий сделали на gitlab.com. Сначала пробовал развернуть на Google Cloud, но там уже при установке SDK посыпались ошибки, _возможно_ связанные с кодировкой файлов на Питоне, в итоге бороться с ним надоело.

Вернемся на gitlab.com.
Без особых проблем я создал репо и положил туда конфигурацию. Дал права второму разрабу, сначала "Developer", потом и "master".

Он взял инструкцию с сайта ИТС и радостно бросился клонировать удаленный репо к себе в EDT. Нифига.
На самом последнем шаге, где выбираешь "Импорт существующего проекта Eclipse", EDT подумало, запросило у него еще раз пароль к gitlab, и сообщило:
Git repository clone failed.
https://gitlab.com/*******/*****.git: 404 not found.

Дальше было много попыток исправить ситуацию с чтением stackoverflow.com, игры с параметрами edt и т.д. Результата болт.

Дальше мы сделали две вещи:
1. Я попытался сделать удаленный репо из его экземпляра базы. Логично же: не получается от меня, сделаем от него, а я буду пытаться его репо к себе клонировать.
И опять ошибка: не могу от него сделать Push: смысл ошибки такой же: https://gitlab.com/*******/*****.git: 404 not found.
2. Единственная удача в этом посте: я на своем компе завел другого юзера, под ним завел другого юзера на gitlab.com. Дал ему мастера в репо и под ним прекрасно клонировал репо к себе на комп.

Где искать проблему? у меня PPPoE, у второго разраба ADSL. на gitlab.com заходим оба без проблем.
Если доступ к хранилищу по https, значит и у EDT проблемы быть не должно.

Приветствуется любой конструктивный ответ, надо подробности - будут подробности.