mirror of
https://github.com/git/git.git
synced 2026-05-02 12:26:02 +02:00
73e494f862
"git branch --list" and friends learned "--ignore-case" option to optionally sort branches and tags case insensitively. * nd/for-each-ref-ignore-case: tag, branch, for-each-ref: add --ignore-case for sorting and filtering
25 KiB
25 KiB