fix github ribbon's link to repo