Skip to content

remove teal #812

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
Merged
merged 2 commits into from
Jun 13, 2023
Merged

remove teal #812

merged 2 commits into from
Jun 13, 2023

Conversation

lewis6991
Copy link
Owner

No description provided.

@lewis6991 lewis6991 force-pushed the removeteal branch 19 times, most recently from 401f45b to 4c37c63 Compare June 13, 2023 10:41
@lewis6991 lewis6991 force-pushed the removeteal branch 10 times, most recently from 9a4c215 to 68cb4b4 Compare June 13, 2023 14:13
@lewis6991 lewis6991 force-pushed the removeteal branch 3 times, most recently from e4433e7 to 8417528 Compare June 13, 2023 14:23
@lewis6991 lewis6991 merged commit 4bbfb06 into main Jun 13, 2023
@lewis6991 lewis6991 deleted the removeteal branch June 13, 2023 14:32
@phgz
Copy link

phgz commented Jun 13, 2023

Just out of curiosity, what was the reason?

@lewis6991
Copy link
Owner Author

lewis6991 commented Jun 13, 2023 •
edited
Loading

  • Teal has gone quite stale as a project (IMO)
  • LuaLS as developed quite a lot of features including rich type annotations via comments.
  • Teal made this project harder for people to contribute since installing teal can be a pain.
  • Teal doesn't have a proper language server
  • Teal doesn't have any third party linters or formatters

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lewis6991 @phgz