This commit will fix issue#2653.#2675

moritzx22 wants to merge 3 commits intoninja-build:masterninja-build/ninja:masterfrom

moritzx22:fixissue#2653moritzx22/ninja:fixissue#2653Copy head branch name to clipboard