diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-02-28 00:57:12 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-28 00:57:12 +0300 |
| commit | a411726930a6fc97d5a1f62d8d8d59b8587b10f2 (patch) | |
| tree | 2b9b9a0a63bd6edd29feb482bc05086b6c8df68b /ref-filter.h | |
| parent | 74aabf41cee31f7937f9445a99597403da50585b (diff) | |
| parent | a272b9e70a48a355b6dd7ff0179c11f8da7ef0f3 (diff) | |
Merge branch 'ps/urlmatch-wildcard'
The <url> part in "http.<url>.<variable>" configuration variable
can now be spelled with '*' that serves as wildcard.
E.g. "http.https://*.example.com.proxy" can be used to specify the
proxy used for https://a.example.com, https://b.example.com, etc.,
i.e. any host in the example.com domain.
* ps/urlmatch-wildcard:
urlmatch: allow globbing for the URL host part
urlmatch: include host in urlmatch ranking
urlmatch: split host and port fields in `struct url_info`
urlmatch: enable normalization of URLs with globs
mailmap: add Patrick Steinhardt's work address
Diffstat (limited to 'ref-filter.h')
0 files changed, 0 insertions, 0 deletions