gitのindexから削除

実際のファイルではなくgitのindexからファイルを削除したいときの方法です。
間違えて「add *」→「push」したときとかに有効です。

git rm --cached filename.c

その後「commit」「push」を行えば完了です。

【追記2012/3/18】
filenameが「#sample.java#」のように複雑な記号が入ってる場合は、
シングルクォーテーション '#sample.java#' で囲えばOK。
ファイル名として認識されます。