Use actual github repo names

Instead of referring directly to the github API