Удалить историю гита до определённого коммита на удалённом репозитории имея лишь git pull origin на нём

reset --hard && push --force, но обычно когда ты видишь эти команды, знай, что ты делаешь что-то неправильно.

git gc потом для подчистки хвостов.

Я же уже писал про резет--хард, оно лишь делает вид. Объём не изменяется, по крайней мере на локали. Да, сборщик может и сможет подчистить хвосты, но только на локали, а мне не важно сколько оно занимает у меня. Ибо, как выше писал, жирнеет папка на хосте, а к нему доступа нет, только через гуи с кнопкой пулл на сайте хоста или через админа, которого лучше не трогать. Окей, я это тестил лишь на локали, на хосте пока ничего нет, ибо от админа нужно ещё добиться разрешения на такое, значит reset --hard && push --force на локали + пулл этого пуша на хосте не будет заставлять папку жирнеть?

от админа нужно ещё добиться разрешения на такое

Тогда вообще забудь то, что я тебе говорил.

https://help.github.com/articles/remove-sensitive-data/

Тогда вообще забудь то, что я тебе говорил.

Всё не настолько страшно. Просто админ поставил 2 условия - чтобы папка не жирнела и чтобы его не трогали. Или таки никак нельзя удалить историю изменений в гите без удаления её отдельно на удалённом репозтории через сборщик мусора?

Насколько я знаю, при некоторых операциях с гитом, сборщик мусора должен запускаться автоматически. Но когда именно это происходит - я не знаю (надо гуглить и читать документацию). То есть идея в том, что запускать на удалённом сервере git gc руками не обязательно - рано или поздно это произойдёт автоматически.

Ладно, это и буду использовать как аргументацию. Всем спасибо за ответы.

рано или поздно это произойдёт автоматически

У git'а есть одна придурь: в какой-то момент он может отказаться запускать gc автоматически, пока не запустишь руками git prune. Судя по всему, такое происходит, если часто создавать-удалять ветки, активно ребейзить и тому подобное. То есть, скорее всего только локально. Но нельзя исключать ситуации, что такое может произойти и в удалённом репозитории. Само оно не починится, репозиторий дальше будет пухнуть.

Может стоит сообщить об обнаруженной проблеме в багтрекер git?

сообщить об обнаруженной проблеме в багтрекер

Git сам об этом пишет каждый раз, так что это известное поведение. И оно, похоже, намеренное. Скорее всего, это как-то можно настраивать, но мне всегда лень искать это в доках. Запустил git prune, удалил .git/gc.log, и дальше ботать.

Просто админ поставил 2 условия - чтобы папка не жирнела и чтобы его не трогали.

1. Прочитать https://git-scm.com/book/en/v2

2. Послать админа на ...

3. Поднять свой сервер (или попросить полноценный пользовательский аккаунт с ssh доступом на существующем сервере) и работать с git на сервере через ssh (скорее всего потребуется время, чтобы разобраться, как с ним работать, работаешь с git не ты один).

По ходу разбирательства или поддержки собственного сервера поймешь, в каком месте ты от админа много просишь, а в каком месте он просто ленивый тупой баран (в смысле какие запросы оправданы, а какие нет). В результате ты прокачаешь как навыки сисадминства (очень поверхностно, но достаточно для поддержки git репозитория), так и разработчика.

Если будешь использовать свой сервер, первым же делом настрой регулярный бакап и также регулярно проверяй его работу.