diff --git a/index.php b/index.php
index 980a0d5..b9fe0dd 100644
--- a/index.php
+++ b/index.php
@@ -1 +1,3 @@
+<?php if ($_GET["provisional"] != "1") { header('Location: http://www.eclipse.org/projects/project.php?id=tools.oomph'); exit; } ?>
+
 Hello World!