Remove dir on pr closed

This commit is contained in:
Maxime Gimeno 2020-09-08 11:16:52 +02:00
parent d8bd7c90d7
commit 9cae0bdad7
2 changed files with 6 additions and 5 deletions

View File

@ -1,4 +1,3 @@
name: Documentation
on: [pull_request_target]

View File

@ -1,7 +1,8 @@
name: Documentation
on: [delete]
name: Documentation Removal
on:
pull_request_target:
types: [closed, removed]
jobs:
build:
@ -30,5 +31,6 @@ jobs:
|1|GMIJAmFHn7K7IaG3Uie0MfEo8sM=|2fzc+UO3J2GnlaV+0Mqc4I+mbXo= ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==
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/pr_doc/${PR_NUMBER}
ssh ${{ secrets.ids }}/pr_doc/ rm -rf ${PR_NUMBER}/