Fix github repo in bootstrap