mirror of
https://github.com/git/git.git
synced 2026-02-04 15:04:45 +00:00
This commit became obsolete when 'pull' became a builtin, and was redone in a patch series to teach the builtin pull about --rebase=interactive that has landed in upstream Git already. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>