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

Replace tslint with eslint + typescript-eslint #24

Closed
danirod opened this issue Nov 12, 2019 · 0 comments · Fixed by #101
Closed

Replace tslint with eslint + typescript-eslint #24

danirod opened this issue Nov 12, 2019 · 0 comments · Fixed by #101
Assignees
Labels
enhancement Makes something better tracking issue This describes an existing or future pull request

Comments

@danirod
Copy link
Member

danirod commented Nov 12, 2019

tslint is deprecated.

@danirod danirod added enhancement Makes something better tracking issue This describes an existing or future pull request labels Nov 12, 2019
@danirod danirod self-assigned this Nov 12, 2019
@danirod danirod changed the title Replace tslint with eslint + typescirpt-eslint Replace tslint with eslint + typescript-eslint Nov 12, 2019
@danirod danirod added this to Needs triage in Triaging Nov 13, 2019
@danirod danirod moved this from Needs triage to High priority in Triaging Nov 13, 2019
@danirod danirod added this to To do in Infrastructure Kanban Nov 14, 2019
@danirod danirod added this to the Tooling an deployments milestone Nov 14, 2019
Infrastructure Kanban automation moved this from To do to Done Apr 26, 2020
Triaging automation moved this from High priority to Closed Apr 26, 2020
danirod added a commit that referenced this issue Apr 26, 2020
This commit removes tslint from the repository, and instead installs
eslint, with typescript-eslint and eslint-prettier support, so that
eslint can be used to lint the standard format of the files, and then
lint issues found in TypeScript files.

The defaults config are in use, and no further action is taken to
correct these issues, which should be taken in the future.

Closes #24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Makes something better tracking issue This describes an existing or future pull request
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

1 participant