Add github ribbon to public pages. See #1