Git add できない場合の対処法

事象

既にGitに追加していたつもりのファイルが、Gitサーバ側に存在せず、
ローカル環境で再度git addを行っても追加できない。 git pushをしてもGitサーバーにpushされない。

原因らしきもの

Gitのローカル環境ではファイルが追加されていたけど、サーバー側へはPushされないため、いくらローカル環境でaddしても追加できなかった。...なぜPushされない?

対処

応急処置ですが、ローカル環境の対象ファイルを一旦削除したところ、追加できるようになりました。

mv 対象ファイル ../ # addしたいファイルをどこかに避難させる
git commit # これでファイルが削除される。
mv ../対象ファイル . # 元の位置に戻す
git add 対象ファイル
git push # これでサーバーに反映された。

余談

リリース間近にこの罠は焦りました... .
安心してGitを利用するためにも、Gitの操作について、もっと学ぶ必要がありそうです。