From 82adb2b9f5191aab45332ac50cd6e1ff1729f173 Mon Sep 17 00:00:00 2001
From: Christian Schwarz <me@cschwarz.com>
Date: Sun, 8 Sep 2024 22:38:24 +0000
Subject: [PATCH] build: circleci: remove obsolete script

The binary packaging workflow has long since
been moved to this repo (I don't think the external
workflow work ever completed).
---
 .../trigger_debian_binary_packaging_workflow.bash      | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 .circleci/trigger_debian_binary_packaging_workflow.bash

diff --git a/.circleci/trigger_debian_binary_packaging_workflow.bash b/.circleci/trigger_debian_binary_packaging_workflow.bash
deleted file mode 100755
index f71f08a..0000000
--- a/.circleci/trigger_debian_binary_packaging_workflow.bash
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-COMMIT="$1"
-GO_VERSION="$2"
-
-curl -v -X POST https://api.github.com/repos/zrepl/debian-binary-packaging/dispatches \
-    -H 'Accept: application/vnd.github.v3+json' \
-    -H "Authorization: token $GITHUB_ACCESS_TOKEN" \
-    --data '{"event_type": "push", "client_payload": { "zrepl_main_repo_commit": "'"$COMMIT"'", "go_version": "'"$GO_VERSION"'" }}'