Fix github repo listing.