Check if GitHub CLI tool is installed

Merged Frederic Gurr requested to merge fgurr/scripts:main into main

Merge request reports