Skip to content

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
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.

2 participants