If that is true, past performance is no guarantee of future results. What if Github gets hacked? What if a Github employee acts maliciously, or an Amazon employee with access to Github’s AWS download backend, or...?
What if the earth is flat

What if Masons rule everything?
Don't go mad. This is not a wallet, it is only a mining program. It is usually installed on a separate machine.
And even if, in theory, they get hacked (0.01% chance) because in the whole history, there hasn't been a single hack of a console mining program, what will be stolen from the mining rig? Nothing.
Just reinstall and that's it. People have kept their coins in hardware wallets for a long time.
Don't go mad. The GitHub repository is completely sufficient. No PGP - no need to worry.
99,9% of mining programs are hosted on GitHub (gminer, teamred, trex, nbminer, even nicehash, etc.)