👨🏼‍✈️

Setting up CodeQL in GitHub