Владимир

Всё раздельно.

Но в таком случае для обычного разворачивания надо будет уже две репы выкачивать и собирать.

Ничего страшного.

К сожалению, сегодня не удалось повторить проблему в виду отсутствия меня рядом с Wi-Fi точкой провайдера, а GitHub тем временем разблокировали. Постараюсь собрать максимум информации в следующем "акте" блокировки.