"Johannes Schindelin via GitGitGadget" [off-list ref]
writes:
This is a companion patch to https://github.com/gitgitgadget/git/pull/615,
but targets maint instead of maint-2.17: There is not really a good way to
get those patches into maint by merging because the final patch looks quite
a bit different by necessity (after 46fd7b390034 (credential: allow wildcard
patterns when matching config, 2020-02-20) the urlmatch machinery is
supposed to handle credential.<url>.* config parsing).
IMHO the easiest strategy would be to apply these patches on top of maint,
then merge the other patches on top of maint-2.17 with -s ours.
Thanks for a quick help.