mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-26 07:00:35 -08:00
Code Issues Projects Releases Wiki Activity

Oops. deleting literal token and replacing with parameter. also correcting the permissions required on the token.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-15 12:57:41 +00:00
parent d3692dea7f
commit 20425bfadb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
mps/tool/github-ci-kick
View file

@ -30,7 +30,7 @@
# "Ravenbrook/mps" repository.
#
# 3. In "Permissions" expand "Repository permissions" and under
# "Actions" choose "Read-only".
# "Actions" choose "Read and write".
#
# NOTE: This script could use the GitHub CLI, but that would require
# it to be installed by the user.
@ -66,7 +66,7 @@ test -z "${auth}" && usage
curl --silent --show-error \
--request POST --data @- \
--header "Accept: application/vnd.github+json" \
--header "Authorization: Bearer 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"\
--header "Authorization: Bearer ${auth}"\
--header "X-GitHub-Api-Version: 2022-11-28" \
"https://api.github.com/repos/${org}/${repo}/actions/workflows/c-cpp.yml/dispatches" \
<<-EOF