blob: 869a363e7a0a8da74cc34d730dea2958d7e7e69e [file] [log] [blame]
avm999633b7e7c32020-09-28 17:29:36 +02001<?php
2require_once(__DIR__.'/core.php');
3
4if (isset($conf['gitHubRepo']))
5 header('Location: '.$conf['gitHubRepo']);