release: remove scripts associated with esrp

Remove ESRP-related scripts, as we are no longer using this tool for signing.
git-ecosystem · Apr 8, 2024 · cc7e35d · cc7e35d
1 parent 9cd12fa
commit cc7e35d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 147 deletions.
diff --git a/.github/run_esrp_signing.py b/.github/run_esrp_signing.py
diff --git a/.github/set_up_esrp.ps1 b/.github/set_up_esrp.ps1