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

deprecated 'make fix' #260

Merged
merged 1 commit into from
Nov 14, 2023
Merged

deprecated 'make fix' #260

merged 1 commit into from
Nov 14, 2023

Conversation

jaytaph
Copy link
Member

@jaytaph jaytaph commented Nov 13, 2023

Use 'make format' instead, as this is more descriptive

@jaytaph jaytaph requested review from emwalker, Kiyoshika, neuodev and a team November 13, 2023 19:25
Copy link
Member

@Sharktheone Sharktheone left a comment

Choose a reason for hiding this comment

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

You can keep it if you want, but i don't see a huge benefit of keeping this.

Comment on lines +17 to +19
fix: ## Fix formatting and clippy errors (deprecated)
echo "Use 'make format' instead"

Copy link
Member

Choose a reason for hiding this comment

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

Why not remove the old completely? I mean keeping this has no big benefits I think.

Copy link
Member

Choose a reason for hiding this comment

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

My guess is for anyone used to using make fix that doesn't see this PR and maybe confused when it's gone. Granted, it's not hard to look at the Makefile but it'll at least tell you it's moved; then maybe just completely remove it at some point

Although I don't have a preference for either way, whether we remove it now or later

@jaytaph jaytaph merged commit 7b48c2e into main Nov 14, 2023
4 checks passed
@jaytaph jaytaph deleted the format-fix branch November 14, 2023 14:59
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.

4 participants