ruff
Rename `CheckCategory` to `RuleOrigin`
#1726
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Rename `CheckCategory` to `RuleOrigin`
#1726
charliermarsh
merged 1 commit into
main
from
charlie/origin
not-my-profile
commented on 2023-01-08
Base automatically changed from
charlie/diagnostic
to
main
3 years ago
Rename `CheckCategory` to `Origin`
7939fb0c
charliermarsh
force pushed
from
7bc7f534
to
7939fb0c
3 years ago
charliermarsh
changed the title
Rename `CheckCategory` to `Origin`
Rename `CheckCategory` to `RuleOrigin`
3 years ago
charliermarsh
merged
0fe349b5
into main
3 years ago
charliermarsh
deleted the charlie/origin branch
3 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
not-my-profile
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub