Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add rename_repov2_sol_extension.sh script #1664

Merged
merged 1 commit into from
Sep 25, 2024

Conversation

manuelwedler
Copy link
Collaborator

@manuelwedler manuelwedler commented Sep 25, 2024

See #1651

Adding the script to remove the .sol extension from contracts in repoV2. I will run it now after merging #1648 on staging. On production, I will run it once we do a new release.

Copy link
Member

@marcocastignoli marcocastignoli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@manuelwedler manuelwedler merged commit 5202ac3 into staging Sep 25, 2024
6 checks passed
@manuelwedler manuelwedler deleted the rename-repov2-extension branch September 25, 2024 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: COMPLETED
Development

Successfully merging this pull request may close these issues.

2 participants