Я часто клонировал репозитории github и пробовал их на своем компьютере. К сожалению, репозитории github могут иметь то же имя, что и имя репо другого пользователя.
Например:
https://github.com/user1/app_name.git
https://github.com/user2/app_name.git
Когда я клонирую репо в терминале, например
git clone https://github.com/user1/app_name.git
он сохраняет репо под именем после косой черты, как
app_name
Если я клонирую второе репо, я получаю сообщение the repo exists и клонирование репо прерывается.
Я только что заметил это, и я хочу знать, какие репозиции были прерваны таким образом.
Чтобы найти их, я сделал что-то вроде
history | grep github.com
, но в нем перечислены сотни строк, и их трудно подобрать репозитории с теми же app_name и разными user_name.
Это должно быть очень простой задачей для регулярного запроса, но как?