Fixes to the github automation and ssh key generation