mirror of https://github.com/CGAL/cgal
Clena-up
This commit is contained in:
parent
08600afd72
commit
de24c4729a
|
|
@ -33,6 +33,5 @@ jobs:
|
|||
EOF
|
||||
)>> ~/.ssh/known_hosts
|
||||
PR_NUMBER=$(python -c "import json; import os; y = json.load(open(os.environ['GITHUB_EVENT_PATH'])); print(y[\"number\"])")
|
||||
#ssh mgimeno@cgal.geometryfactory.com rm -rf /home/mgimeno/public_html/cgal.github.io/${PR_NUMBER}
|
||||
ssh mgimeno@cgal.geometryfactory.com "cd /home/mgimeno/public_html/cgal.github.io && rm -rf ${PR_NUMBER} && git rm -r ${PR_NUMBER} && git commit -a -m 'Remove a directory' && git push origin master"
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue