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

lint whole repo #1600

Merged
merged 1 commit into from
Dec 2, 2020
Merged

lint whole repo #1600

merged 1 commit into from
Dec 2, 2020

Conversation

Nokel81
Copy link
Collaborator

@Nokel81 Nokel81 commented Dec 1, 2020

Signed-off-by: Sebastian Malton sebastian@malton.name

@Nokel81
lint whole repo
f66be3f 
Signed-off-by: Sebastian Malton <sebastian@malton.name>
@Nokel81 Nokel81 added the chore label Dec 1, 2020
@Nokel81 Nokel81 requested a review from a team December 1, 2020 18:43
@Nokel81 Nokel81 self-assigned this Dec 1, 2020
chenhunghan
chenhunghan approved these changes Dec 2, 2020
View reviewed changes
Copy link
Contributor

@chenhunghan chenhunghan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, nice catch

@chenhunghan chenhunghan merged commit f3f9f08 into master Dec 2, 2020
@jakolehm jakolehm deleted the link-whole-repo branch December 2, 2020 10:18
@jakolehm jakolehm mentioned this pull request Dec 2, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chenhunghan chenhunghan chenhunghan approved these changes

Assignees

@Nokel81 Nokel81

Labels
chore
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Nokel81 @chenhunghan