Почему мой файл public / index.html не был удален на GitHub, даже после того, как я добавил, зафиксировал и отправил?

Question

Я запустил следующий код, чтобы убедиться, что мой файл public / index.html был удален:

git rm public/index.html
fatal: pathspec 'public/index.html' did not match any files

Тогда я запустил git status:

# On branch master
nothing to commit (working directory clean)

Это так, потому что я запустил git commit -am "Removed" и подтолкнул к мерзавцу.
На основании этих двух ответов я держу пари, что мой файл был удален. Я даже проверил мой каталог, и его там нет. Тем не менее, файл все еще находится в моем репо. Git push, похоже, ничего не сделал.

[Remove 0cd9c89] Removed public/index.html
 2 files changed, 0 insertions(+), 239 deletions(-)
 delete mode 100644 public/index.html
*******-MacBook-Air:da_list ****$ git push heroku
Everything up-to-date
*******-MacBook-Air:da_list ****$ git push
Everything up-to-date

Answer 1

Ответом было бы убедиться, что вы находитесь на правильной ветке. Следующий шаг - объединить эту правильную ветку с мастером.