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.

Sign up for GitHub

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

Jump to bottom

chore: remove unused tool scripts #4021

Merged
merged 1 commit into from
Dec 9, 2023
Merged

chore: remove unused tool scripts #4021

merged 1 commit into from
Dec 9, 2023

Conversation

felangel
Copy link
Owner

@felangel felangel commented Dec 9, 2023

Status

READY

Breaking Changes

NO

Description

  • chore: remove unused tool scripts

Type of Change

  • ✨ New feature (non-breaking change which adds functionality)
  • 🛠️ Bug fix (non-breaking change which fixes an issue)
  • ❌ Breaking change (fix or feature that would cause existing functionality to change)
  • 🧹 Code refactor
  • ✅ Build configuration change
  • 📝 Documentation
  • 🗑️ Chore

@felangel felangel added the chore no production code change label Dec 9, 2023
@felangel felangel self-assigned this Dec 9, 2023
@felangel felangel merged commit 3f78219 into master Dec 9, 2023
7 checks passed
@felangel felangel deleted the chore/remove-unused-tools branch December 9, 2023 22:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@felangel felangel

Labels
chore no production code change
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@felangel