GitHub-hosted portal