mirror of
https://github.com/git/git.git
synced 2026-02-01 05:20:15 +00:00
Let's back this out: Just after this Pull Request was merged, the first comment of the upstream Git developers made a redesign necessary. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>