pipeline-update (#3309)

* deploy PR script
This commit is contained in:
Eugenio Romano
2018-05-14 16:05:27 +01:00
committed by GitHub
parent e94ce4602b
commit 4ced4164bf
9 changed files with 21139 additions and 24 deletions

View File

@@ -21,5 +21,9 @@ http {
location / {
try_files $uri $uri/ /index.html;
}
location ~ ^/[a-zA-Z0-9_-]+/ {
try_files $uri $uri/ /index.html;
}
}
}