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

lint-fix github action #5064

Closed
neubig opened this issue Nov 15, 2024 · 2 comments · Fixed by #5065
Closed

lint-fix github action #5064

neubig opened this issue Nov 15, 2024 · 2 comments · Fixed by #5065
Labels
enhancement New feature or request fix-me Attempt to fix this issue with OpenHands

Comments

@neubig
Copy link
Contributor

neubig commented Nov 15, 2024

What problem or use case are you trying to solve?

It would be great to have a github action that fixes linting errors in PR. We could trigger it by adding the "lint-fix" label to any PR, which would run comments to fix linting errors and re-push to the same branch. In creating the action, we can reference the existing lint.yml.

@neubig neubig added enhancement New feature or request fix-me Attempt to fix this issue with OpenHands labels Nov 15, 2024
Copy link
Contributor

OpenHands started fixing the issue! You can monitor the progress here.

Copy link
Contributor

A potential fix has been generated and a draft PR #5065 has been created. Please review the changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request fix-me Attempt to fix this issue with OpenHands
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant