mirror of
https://github.com/git/git.git
synced 2026-04-05 14:30:10 +02:00
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>
10 KiB
Executable File
10 KiB
Executable File