Thanks to visit codestin.com
Credit goes to github.com

Skip to content

refactor: update tool names to remove deprecated prefixes#1486

Merged
tusharmath merged 3 commits into
mainfrom
delete-old-tools
Sep 5, 2025
Merged

refactor: update tool names to remove deprecated prefixes#1486
tusharmath merged 3 commits into
mainfrom
delete-old-tools

Conversation

@tusharmath

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions github-actions Bot added type: chore Routine tasks like conversions, reorganization, and maintenance work. type: fix Iterations on existing features or infrastructure. labels Sep 5, 2025
@tusharmath tusharmath enabled auto-merge (squash) September 5, 2025 13:29
@tusharmath tusharmath merged commit e928610 into main Sep 5, 2025
8 checks passed
@tusharmath tusharmath deleted the delete-old-tools branch September 5, 2025 13:33
@tusharmath tusharmath removed the type: fix Iterations on existing features or infrastructure. label Sep 5, 2025
laststylebender14 pushed a commit that referenced this pull request Sep 11, 2025
Co-authored-by: autofix-ci[bot] <114827586+autofix-ci[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: chore Routine tasks like conversions, reorganization, and maintenance work.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant