tree 75f94eab532255cd40da5343514be2f7837544d7
parent 2b118fbed6ce81b59cf391f9d84adff3e89b79d4
author Paul Jolly <paul@myitcv.io> 1589363083 +0100
committer Marcel van Lohuizen <mpvl@google.com> 1589389250 +0000

ci: fix the GitHub actions repository_dispatch workflow

We switch from using a Go-based GitHub action to using curl directly
because it's significantly quicker.

We also drop the unnecessary requirement on refs having been replicated
to GitHub by fetching from the source directly.

Change-Id: I58487b986aea120ce0e5cd60999103023d4ab389
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6020
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
Reviewed-by: Marcel van Lohuizen <mpvl@google.com>