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

Warn when file extension is renamed #13755

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Warn when file extension is renamed #13755

wants to merge 1 commit into from

Conversation

tobiasKaminsky
Copy link
Member

@tobiasKaminsky tobiasKaminsky commented Oct 10, 2024 •
edited
Loading

image

  • Tests written, or not not needed

@tobiasKaminsky tobiasKaminsky mentioned this pull request Oct 10, 2024
Open
@tobiasKaminsky
Warn when file extension is renamed
27fa0ef 
Signed-off-by: tobiasKaminsky <tobias@kaminsky.me>
@github-actions GitHub Actions
Copy link

Codacy

Lint

TypemasterPR
Warnings5959
Errors33

SpotBugs

CategoryBaseNew
Bad practice6565
Correctness6363
Dodgy code300300
Experimental11
Internationalization77
Malicious code vulnerability11
Multithreaded correctness66
Performance5353
Security1818
Total514514

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@alperozturk96 alperozturk96 Awaiting requested review from alperozturk96

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
2. developing enhancement
Projects
🤖 🍏 Clients team
Status: 🏗️ In progress
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tobiasKaminsky @AndyScherzinger