Skip to content

Conversation

@Sriep
Copy link
Contributor

@Sriep Sriep commented Apr 3, 2021

The lint check on pull requests does not work. This needs to be removed so other people PR's can be merged.

@Sriep Sriep requested a review from satchinjoshi April 3, 2021 12:09
@satchinjoshi
Copy link
Contributor

@peterlimg might be able to answer this as it was added based on his request.

@satchinjoshi satchinjoshi requested a review from peterlimg April 3, 2021 12:39
@Sriep Sriep merged commit 4a4b9f4 into master Apr 3, 2021
@platsko platsko deleted the remove-broken-lint-test branch May 9, 2021 15:00
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