pmd/.ci/docker_ubuntu18.04/create-gh-pull-request-event.sh

11 lines
189 B
Bash
Raw Normal View History

2020-11-12 16:13:02 +01:00
#!/usr/bin/env bash
cat > /workspaces/event.json <<EOF
{
"number": ${PMD_CI_PULL_REQUEST_NUMBER},
"repository": {
"clone_url": "https://github.com/pmd/pmd.git"
}
}
EOF