blob: 869a363e7a0a8da74cc34d730dea2958d7e7e69e [file] [log] [blame]
<?php
require_once(__DIR__.'/core.php');
if (isset($conf['gitHubRepo']))
header('Location: '.$conf['gitHubRepo']);