@main("Das Dashboard") {
	<p>Please wait while Github kindly sends us a huge Json file...</p>

	<p>This is Github being slow, not your Wi-Fi.</p>

	<script type="text/javascript">
		window.location = "@routes.Dashboard.pulls"
	</script>
}
