diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-10-17 06:23:10 +0400 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2007-10-17 06:47:51 +0400 |
commit | 46eb449cbefac461659c42c4ba4b36de1959e7ca (patch) | |
tree | 09e62ea604255458202b67723e54684869c8380d /git-instaweb.sh | |
parent | 8ef44519a64d3ac863a9a3a6dbdba09ea275c822 (diff) |
filter-branch: update current branch when rewritten
Earlier, "git filter-branch --<options> HEAD" would not update the
working tree after rewriting the branch. This commit fixes it.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-instaweb.sh')
0 files changed, 0 insertions, 0 deletions