diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-10-07 18:08:21 +0200 |
|---|---|---|
| committer |  Shawn O. Pearce <spearce@spearce.org> | 2008-10-08 07:04:44 -0700 |
| commit | cced48a808620d60e95a1e51254b135a46ddf719 (patch) | |
| tree | a377d8f23f86b27a00f88fc78e2b36e2411e93d0 /Documentation/git-cherry-pick.txt | |
| parent | Fix a few typos in relnotes (diff) | |
| download | tgif-cced48a808620d60e95a1e51254b135a46ddf719.tar.xz | |
git rm: refresh index before up-to-date check
Since "git rm" is supposed to be porcelain, we should convince it to
be user friendly by refreshing the index itself.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'Documentation/git-cherry-pick.txt')
0 files changed, 0 insertions, 0 deletions