diff --git a/README.md b/README.md new file mode 100644 index 00000000..7f2de838 --- /dev/null +++ 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