| commit | 3b7e7c320023f522a35dcf26ac31fdd6ac82ba54 | [log] [tgz] |
|---|---|---|
| author | avm99963 <me@avm99963.com> | Mon Sep 28 17:29:36 2020 +0200 |
| committer | avm99963 <me@avm99963.com> | Mon Sep 28 17:29:36 2020 +0200 |
| tree | 1941920d6b3fddbbad8d31eeb4a2966c568bdac4 | |
| parent | 87a8ba280db80725f10bb1374ed343fe0274d386 [diff] [blame] |
Redireccionar l'arrel al repo de GitHub Change-Id: I4487268f09b274d683511a240fd11501c5e04935
diff --git a/index.php b/index.php new file mode 100644 index 0000000..869a363 --- /dev/null +++ b/index.php
@@ -0,0 +1,5 @@ +<?php +require_once(__DIR__.'/core.php'); + +if (isset($conf['gitHubRepo'])) + header('Location: '.$conf['gitHubRepo']);