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-push.txt | |
| parent | daf6c2edc21ae1f018ef3829294024fc10756c8c (diff) | |
| download | git-cced48a808620d60e95a1e51254b135a46ddf719.tar.gz git-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-push.txt')
0 files changed, 0 insertions, 0 deletions