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

Add QuIC Repolinter check #39

Closed
wants to merge 1 commit into from
Closed

Add QuIC Repolinter check #39

wants to merge 1 commit into from

Conversation

quic-nwtn
Copy link

@quic-nwtn quic-nwtn commented May 7, 2024

This GitHub Action runs Repoliner on push or pull requests to master. This should've been enabled when the project was first setup. We need to enable this and correct violations (ignore the Warnings and focus on the Errors). In some cases, the repolinter rules need to be tweaked depending on the project, which we can discuss.

@kory
Copy link
Contributor

kory commented May 9, 2024

@quic-nwtn , this checks from the Repolinter are already checked by our existing PR checks. Do we really need this additional linter file?

@quic-nwtn
Copy link
Author

@mynameistechno , please help here.

@kory kory closed this May 20, 2024
@mynameistechno
Copy link
Contributor

@quic-nwtn , this checks from the Repolinter are already checked by our existing PR checks. Do we really need this additional linter file?

This runs as pre commit hooks?

@kory
Copy link
Contributor

kory commented May 28, 2024

Yes. Currently we are not set up to merge public commits. When public PRs are submitted, they are merged elsewhere with the appropriate PR checks and included in the following release.

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.

3 participants