Пользователь имеет доступ к коммитам, которые он уже имеет на своем компьютере. Это является частью идеи децентрализованной системы контроля версий.
Если вы удалите код, это приведет к фиксации, представляющей «удаление».
Он может легко сбросить коммит до удаления. Даже если вы манипулируете историей, а он извлекает эти изменения, локальный репозиторий все еще имеет доступные изменения. Если он знает идентификатор фиксации ранее, он может использовать его для восстановления кода.
Если git не запустит сборку мусора, тогда изменения будут пропущены. По умолчанию это выполняется каждые две недели. Только тогда он может потерять доступ.
Вместо того, чтобы просить его вытащить, попробуйте попросить его удалить свой локальный репозиторий. Это принесет вам больше уверенности.