mirror of
https://github.com/git/git.git
synced 2026-01-12 13:53:11 +09:00
Split a rather heavy-ish "git completion" script out to create a separate "git prompting" script, to help lazy-autoloading of the completion part while making prompting part always available.