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

ENSIME is not an alternative #936

Merged
merged 1 commit into from Sep 23, 2019

Conversation

@fommil
Copy link
Contributor

commented Sep 21, 2019

All ENSIME repos have been archived and a notice has been placed on the website advising everybody to use Metals: https://ensime.github.io/

Therefore, ENSIME is not an alternative.

@tgodzik tgodzik merged commit 87a59a3 into scalameta:master Sep 23, 2019
1 of 2 checks passed
1 of 2 checks passed
continuous-integration/travis-ci/pr The Travis CI build failed
Details
scalameta.metals Build #20190921.1 succeeded
Details
@timcharper

This comment has been minimized.

Copy link

commented on bb5d4e1 Sep 23, 2019

lol @fommil you got release note credits for the latest bump 😆

This comment has been minimized.

Copy link
Contributor Author

replied Sep 23, 2019

hell, if that's all the credit they are handing out... I'll take it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants
You can’t perform that action at this time.