Merge stable release: pull request #19 from matveynator/tvey/remove-libc-dependency-from-chicha-ip-proxy

Fix release workflow YAML indentation

Author: matveynator

.github/workflows/release.yml

@@ -84,38 +84,38 @@ jobs:
         run: |
           set -euo pipefail
           python - <<'PY'
-import json
-import os
-import urllib.error
-import urllib.request
-
-# The release is always published under a single tag to keep download URLs stable.
-token = os.environ["GITHUB_TOKEN"]
-repo = os.environ["GITHUB_REPOSITORY"]
-tag = "rolling-release"
-base = f"https://api.github.com/repos/{repo}"
-headers = {"Authorization": f"Bearer {token}", "Accept": "application/vnd.github+json"}
-
-
-def request(method: str, url: str) -> tuple[int, bytes]:
-    req = urllib.request.Request(url, method=method, headers=headers)
-    try:
-        with urllib.request.urlopen(req) as resp:
-            return resp.status, resp.read()
-    except urllib.error.HTTPError as exc:  # The API returns 404 when the tag or release is absent.
-        return exc.code, exc.read()
-
-
-status, body = request("GET", f"{base}/releases/tags/{tag}")
-if status == 200:
-    release = json.loads(body.decode())
-    release_id = release.get("id")
-    if release_id:
-        request("DELETE", f"{base}/releases/{release_id}")
-
-# Remove the tag ref so the next release always attaches to the latest commit.
-request("DELETE", f"{base}/git/refs/tags/{tag}")
-PY
+          import json
+          import os
+          import urllib.error
+          import urllib.request
+
+          # The release is always published under a single tag to keep download URLs stable.
+          token = os.environ["GITHUB_TOKEN"]
+          repo = os.environ["GITHUB_REPOSITORY"]
+          tag = "rolling-release"
+          base = f"https://api.github.com/repos/{repo}"
+          headers = {"Authorization": f"Bearer {token}", "Accept": "application/vnd.github+json"}
+
+
+          def request(method: str, url: str) -> tuple[int, bytes]:
+              req = urllib.request.Request(url, method=method, headers=headers)
+              try:
+                  with urllib.request.urlopen(req) as resp:
+                      return resp.status, resp.read()
+              except urllib.error.HTTPError as exc:  # The API returns 404 when the tag or release is absent.
+                  return exc.code, exc.read()
+
+
+          status, body = request("GET", f"{base}/releases/tags/{tag}")
+          if status == 200:
+              release = json.loads(body.decode())
+              release_id = release.get("id")
+              if release_id:
+                  request("DELETE", f"{base}/releases/{release_id}")
+
+          # Remove the tag ref so the next release always attaches to the latest commit.
+          request("DELETE", f"{base}/git/refs/tags/{tag}")
+          PY
 
       - name: Publish release
         uses: softprops/action-gh-release@v1