config: introduce an Operating System-specific `includeIf` condition#1428

dscho wants to merge 1 commit intogitgitgadget:maingitgitgadget/git:mainfrom

dscho:fix-url-of-gitster-branchesdscho/git:fix-url-of-gitster-branchesCopy head branch name to clipboard