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

usage.md: Adjust outdated links #303

Merged
merged 1 commit into from Jun 7, 2023
Merged

usage.md: Adjust outdated links #303

merged 1 commit into from Jun 7, 2023

Conversation

gmacario
Copy link
Contributor

@gmacario gmacario commented Jun 6, 2023

Adjust URLs since super-linter repository moved
from https://github.com/github/super-linter
to https://github.com/super-linter/super-linter

@gmacario
Copy link
Contributor Author

gmacario commented Jun 6, 2023

By the way, I wonder whether the contents of this section are still relevant since both PRs have been closed.

@rhysd
Copy link
Owner

rhysd commented Jun 7, 2023

By the way, I wonder whether the contents of this section are still relevant since both PRs have been closed.

I think the PR and issue links should remain for the context. But the document needs to be updated. I'll update it after merging this PR.

@rhysd rhysd merged commit 9d088fd into rhysd:main Jun 7, 2023
12 checks passed
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.

None yet

2 participants