Merge branch 'nd/for-each-ref-ignore-case' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 12 Dec 2016 18:57:18 +0000 (10:57 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 12 Dec 2016 18:57:18 +0000 (10:57 -0800)
commit527cc4f2758854ca834af61475bb5ce9ebc72ef6
treebbd9407a19fa7098c928c651b07a879590ad0f99
parent29e536f590ff7d3dc064e5e2685a4c4e7a316fbd
parent3bb16a8bf2ec02c4cc633c3efd4c012e55ee0c2d
Merge branch 'nd/for-each-ref-ignore-case' into next

"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
Documentation/git-for-each-ref.txt
builtin/branch.c
ref-filter.c