Skip to content

Remove obsolete shell scripts - #5088

Open
Frozen wants to merge 1 commit into
devfrom
chore/remove-dead-shell-scripts
Open

Remove obsolete shell scripts#5088
Frozen wants to merge 1 commit into
devfrom
chore/remove-dead-shell-scripts

Conversation

@Frozen

@Frozen Frozen commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator

This pull request removes several unused or obsolete shell scripts from the scripts directory. These scripts were likely no longer needed or have been replaced by other tooling.

Scripts removed:

@mergify

mergify Bot commented Jul 28, 2026

Copy link
Copy Markdown

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@Frozen
Frozen marked this pull request as draft July 28, 2026 03:00
@Frozen Frozen self-assigned this Jul 28, 2026
Base automatically changed from update/bls-go-binary to dev July 28, 2026 06:30
@Frozen

Frozen commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator Author

@copilot rebase on dev

Copilot AI commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

@copilot rebase on dev

Done. Rebased onto dev (21e5424). The branch now has a single commit on top of the current dev tip.

Delete unreferenced API, path, Solidity, and protobuf helper scripts that have been superseded or depend on files no longer present in the repository.
@Frozen
Frozen force-pushed the chore/remove-dead-shell-scripts branch from b9e9e50 to 72800b7 Compare July 28, 2026 06:37
@Frozen
Frozen marked this pull request as ready for review July 28, 2026 06:40
@Frozen

Frozen commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator Author

@claude review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants