事象
既にGitに追加していたつもりのファイルが、Gitサーバ側に存在せず、
ローカル環境で再度git addを行っても追加できない。 git pushをしてもGitサーバーにpushされない。
原因らしきもの
Gitのローカル環境ではファイルが追加されていたけど、サーバー側へはPushされないため、いくらローカル環境でaddしても追加できなかった。...なぜPushされない?
対処
応急処置ですが、ローカル環境の対象ファイルを一旦削除したところ、追加できるようになりました。
mv 対象ファイル ../ # addしたいファイルをどこかに避難させる
git commit # これでファイルが削除される。
mv ../対象ファイル . # 元の位置に戻す
git add 対象ファイル
git push # これでサーバーに反映された。
余談
リリース間近にこの罠は焦りました... .
安心してGitを利用するためにも、Gitの操作について、もっと学ぶ必要がありそうです。