Как навсегда удалить файл в Git, не получая сообщения «ВНИМАНИЕ: ссылка Refs / Heads / master не изменилась»?

Я гуглил и читал различные сообщения в сети и пробовал:

git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch Launcher \ lib" - prune-empty - --all

и

git filter-branch --tree-filter "rm -rf Launcher \ lib" --prune-empty - --all

В результате получается:

ВНИМАНИЕ: ссылка 'refs / Heads / master' не изменилась

Существуют и другие клоны этого репозитория, а также центральный сервер. Я буду проталкивать изменения на сервер, как я понимаю, другим с клонами просто нужно забрать и перебазировать (а не слить)? Будет ли он работать, если они внесут изменения?