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

Feature additions – unused imports #1180

Merged
merged 7 commits into from
Sep 7, 2024

Conversation

fredrik-bakke
Copy link
Collaborator

@fredrik-bakke fredrik-bakke commented Sep 5, 2024

  • Make unused imports remover order files by git history to check the most relevant files first, even when moving between local branches
  • Add ability to search specified files or folders
  • Add vscode task to remove unused imports in current file

@fredrik-bakke fredrik-bakke added enhancement New feature or request CI labels Sep 5, 2024
@EgbertRijke
Copy link
Collaborator

I can't really judge this code, but I am happy with the idea of this addition

@fredrik-bakke
Copy link
Collaborator Author

Then I think it's good to merge 😄

@fredrik-bakke fredrik-bakke enabled auto-merge (squash) September 6, 2024 17:24
@EgbertRijke
Copy link
Collaborator

We got auto-merge on on the colocal pull request, so I'm going to turn this one off because it needs to be updated anyway

@EgbertRijke EgbertRijke enabled auto-merge (squash) September 6, 2024 17:27
@EgbertRijke
Copy link
Collaborator

Ah, I didn't see that it just merged

@fredrik-bakke
Copy link
Collaborator Author

Oh, sorry about that

@EgbertRijke EgbertRijke merged commit eedb271 into UniMath:master Sep 7, 2024
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants