scripts/ci/util.sh

   1 #!/bin/bash -e
   2
   3 function report_github_status {
   4     if [ -z "$1" ]; then echo "No status specified. Skipping GitHub manual status report."; return 1; fi;
   5     if [ -z "$2" ]; then echo "No context specified. Skipping GitHub manual status report."; return 1; fi;
   6     if [ -z "$3" ]; then echo "No description specified. Skipping GitHub manual status report."; return 1; fi;
   7     if [ -z "${ghprbActualCommit}" ]; then echo "Not a pull request. Skipping GitHub manual status report."; return 1; fi;
   8     if [ -z "${GITHUB_STATUS_AUTH_TOKEN}" ]; then echo "No auth token specified. Skipping GitHub manual status report."; return 1; fi;
   9
  10     wget -qO- --header "Content-Type: application/json" --post-data "{\"state\": \"$1\", \"context\":\"$2\", \"description\": \"$3\", \"target_url\": \"$4\"}" "https://api.github.com/repos/mono/mono/statuses/${ghprbActualCommit}?access_token=${GITHUB_STATUS_AUTH_TOKEN}"
  11 }