README

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 19, 2024 · 118e217 · 118e217
commit 118e217
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,7 @@
+# PR hosting
+
+This repo is only used for pull request previews for [seL4/website].
+
+Please do not push any new branches or open pull requests here.
+
+[seL4/website]: http://github.com/seL4/website