migrate public files + add deploy script

This commit is contained in:
Felix Roos 2022-05-17 22:55:12 +02:00
parent 6c6ea3ab9f
commit fdb60a3fc1
7 changed files with 413 additions and 1 deletions

3
repl/public/robots.txt Normal file
View file

@ -0,0 +1,3 @@
# https://www.robotstxt.org/robotstxt.html
User-agent: *
Disallow: