internal/ci: do not trigger build of tip.cuelang.org

Ahead of flipping alpha.cuelang.org to be the new cuelang.org, disable
the trigger of tip.cuelang.org. The new site does not (yet) have such a
feature.

Indeed as part of the flipping, we will need to delete the tip branch
and setup a domain alias from tip.cuelang.org -> cuelang.org, until such
time as we do restart the process of generating a tip version of the
site.

Signed-off-by: Paul Jolly <paul@myitcv.io>
Change-Id: I497b6791d3b7fc74b1606c145e188a6ffc1cb177
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1184905
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
TryBot-Result: CUEcueckoo <cueckoo@gmail.com>
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>

.github/workflows/tip_triggers.yml

@@ -13,7 +13,5 @@ jobs:
         shell: bash
     if: ${{github.repository == 'cue-lang/cue'}}
     steps:
-      - name: Trigger tip.cuelang.org deploy
-        run: 'curl -s -L -H "Accept: application/vnd.github+json" -H "Authorization: Bearer ${{ secrets.CUECKOO_GITHUB_PAT }}" -H "X-GitHub-Api-Version: 2022-11-28" --fail --request POST --data-binary "{\"ref\":\"master\"}" https://api.github.com/repos/cue-lang/cuelang.org/actions/workflows/update_tip.yml/dispatches'
       - name: Trigger unity build
         run: 'curl -s -L -H "Accept: application/vnd.github+json" -H "Authorization: Bearer ${{ secrets.PORCUEPINE_GITHUB_PAT }}" -H "X-GitHub-Api-Version: 2022-11-28" --fail --request POST --data-binary "{\"event_type\":\"Check against ${GITHUB_SHA}\",\"client_payload\":{\"type\":\"unity\",\"payload\":{\"versions\":\"\\\"commit:${GITHUB_SHA}\\\"\"}}}" https://api.github.com/repos/cue-unity/unity-private/dispatches'

internal/ci/github/tip_triggers.cue

@@ -24,15 +24,6 @@ workflows: tip_triggers: _repo.bashWorkflow & {
 		"runs-on": _repo.linuxMachine
 		if:        "${{github.repository == '\(_repo.githubRepositoryPath)'}}"
 		steps: [
-			_repo.workflowDispatch & {
-				name:                  "Trigger tip.cuelang.org deploy"
-				#githubRepositoryPath: _repo.cuelangRepositoryPath
-
-				// #workflowID corresponds to the filename of the update_tip
-				// workflow in the cue-lang/cuelang.org repo. If we could constrain
-				// this across repos we would.
-				#workflowID: "update_tip.yml"
-			},
 			_repo.repositoryDispatch & {
 				name:                          "Trigger unity build"
 				#githubRepositoryPath:         _repo.unityRepositoryPath