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

Fix linting issues #3105

Merged
merged 1 commit into from
Jul 20, 2023
Merged

Fix linting issues #3105

merged 1 commit into from
Jul 20, 2023
Rate limit · GitHub

Access has been restricted

You have triggered a rate limit.

Please wait a few minutes before you try again;
in some cases this may take up to an hour.

Conversation

tillprochaska
Copy link
Contributor

@tillprochaska tillprochaska commented May 31, 2023

This fixes a few trivial eslint warnings (unused imports, missing export names, …).

@tillprochaska tillprochaska marked this pull request as draft May 31, 2023 17:18
@tillprochaska tillprochaska marked this pull request as ready for review July 12, 2023 17:06
@tillprochaska
Copy link
Contributor Author

@Rosencrantz This PR has been a draft for some time now and I’m not sure when I will find the time to take care of the remaining warnings. Probably a good idea to merge it before it diverges too much from develop and then create a new PR when I get to resolve the remaining warnings.

@tillprochaska tillprochaska merged commit 85947d7 into develop Jul 20, 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.

Rate limit · GitHub

Access has been restricted

You have triggered a rate limit.

Please wait a few minutes before you try again;
in some cases this may take up to an hour.

2 participants