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.

Sign up for GitHub

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

Jump to bottom

chore: update linting #44

Merged
merged 2 commits into from
Nov 28, 2022
Merged

chore: update linting #44

merged 2 commits into from
Nov 28, 2022

Conversation

NotPeopling2day
Copy link
Contributor

Updates linting

@NotPeopling2day NotPeopling2day requested review from antazoey and a user November 28, 2022 20:09
antazoey
antazoey previously approved these changes Nov 28, 2022
View reviewed changes
ghost
ghost previously approved these changes Nov 28, 2022
View reviewed changes
@NotPeopling2day NotPeopling2day dismissed stale reviews from ghost and antazoey via 756c31f November 28, 2022 20:27
@NotPeopling2day NotPeopling2day enabled auto-merge (squash) November 28, 2022 20:28
@NotPeopling2day NotPeopling2day mentioned this pull request Nov 28, 2022
Closed
@NotPeopling2day NotPeopling2day merged commit 6895f13 into main Nov 28, 2022
@NotPeopling2day NotPeopling2day deleted the linting branch November 28, 2022 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@antazoey antazoey antazoey approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@NotPeopling2day @antazoey