Fix github repository setup to correctly detect and configure required checks#1753

TheoBrigitte wants to merge 3 commits into

maingiantswarm/devctl:mainfrom

repo-setupgiantswarm/devctl:repo-setupCopy head branch name to clipboard