Что такое push --force и зачем он нужен

androidgitpushверсионированиеразработка