repo links in nav bar, because why not