1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
#!/bin/sh
# tool/github-ci-kick -- kick off a build at GitHub CI
# Richard Brooksby, Ravenbrook Limited, 2023-01-15
#
# Copyright (c) 2023 Ravenbrook Limited. See end of file for license.
#
# This shell script uses the GitHub REST API to kick off a build on
# the GitHub CI servers [GITHUB].  The build will be run using the
# GitHub CI configuration at the commit (in
# .github/workflows/build-and-test.yml).
#
# TODO: What about other workflows such as rst-check.yml?  Perhaps
# this script should kick them all.
#
# See also tool/travis-ci-kick.
#
# You can achieve the same thing using the GitHub CLI, if you have
# that installed
# <https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow#running-a-workflow-using-github-cli>.
# This script is intended to help with automation and so avoids
# depending on that.  [There's a hidden policy implied here.  RB
# 2023-01-15]
#
# To get a token for this script for the Ravenbrook MPS repo at
# GitHub, first see
# <https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/creating-a-personal-access-token#creating-a-fine-grained-personal-access-token>
# but overlay these details:
#
# 1. In "Resource owner" choose "Ravenbrook".  You must be a member of
#    the GitHub Ravenbrook organisation.
#
# 2. In "Repository access" choose "Only select repositories" and the
#    "Ravenbrook/mps" repository.
#
# 3. In "Permissions" expand "Repository permissions" and under
#    "Actions" choose "Read and write".
#
# NOTE: This script could use the GitHub CLI, but that would require
# it to be installed by the user.
#
# TODO: Convert to Python for use from Windows?
#
# TODO: Make -t optional by getting AUTH-TOKEN from somewhere (secure).

set -e # exit on error

# defaults
branch="master"
org="Ravenbrook"
repo="mps"

usage() {
    echo 1>&2 "Usage: ${0} [-o ORG] [-r REPO] [-b BRANCH] -t AUTH-TOKEN"
    exit 1
}    

while getopts o:r:b:t: flag; do
    case "${flag}" in
	b) branch="${OPTARG}";;
	o) org="${OPTARG}";;
	r) repo="${OPTARG}";;
	t) auth="${OPTARG}";;
	*) usage;;
    esac
done

test -z "${auth}" && usage

curl --silent --show-error \
  --request POST --data @- \
  --header "Accept: application/vnd.github+json" \
  --header "Authorization: Bearer ${auth}"\
  --header "X-GitHub-Api-Version: 2022-11-28" \
  "https://api.github.com/repos/${org}/${repo}/actions/workflows/build-and-test.yml/dispatches" \
  <<-EOF
{
  "ref": "${branch}"
}
EOF


# A. REFERENCES
#
# [GitHub] "Create a workflow dispatch event"; <https://docs.github.com/en/rest/actions/workflows?apiVersion=2022-11-28#create-a-workflow-dispatch-event>.
#
#
# B. DOCUMENT HISTORY
#
# 2023-01-15 RB Created.
#
# C. COPYRIGHT AND LICENSE
#
# Copyright (C) 2023 Ravenbrook Limited <https://www.ravenbrook.com/>.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are
# met:
#
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
#
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in the
#    documentation and/or other materials provided with the
#    distribution.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
# IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
# PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
# HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
#
#
# $Id$