set up dns for github pages

2022-07-29 21:31:11 -04:00 · 2022-07-29 21:31:11 -04:00 · 50bbcc6f80
parent ab8442964a
commit 50bbcc6f80
2 changed files with 13 additions and 0 deletions
--- a/docs/CNAME
+++ b/docs/CNAME
@ -0,0 +1 @@
+ojm.ocert.at
--- a/docs/index.html
+++ b/docs/index.html
@ -0,0 +1,12 @@
+<!DOCTYPE HTML>
+<html lang="en-US">
+    <head>
+        <meta charset="UTF-8">
+        <meta http-equiv="refresh" content="0; url=https://projects.ocert.at">
+        <script type="text/javascript">
+            window.location.href = "https://projects.ocert.at"
+        </script>
+        <title>Page Redirection</title>
+    </head>
+</html>
+