explicitly define github-theme repo