-
-
Notifications
You must be signed in to change notification settings - Fork 368
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
Remove Eclipse annotations package. #6992
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
kenzie just did this for the contribution line count
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Bye Bye Eclipse!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The idea is fine. The other formatting changes (e.g. whitespace-only lines converted to blank) make me a little nervous for conflicts as GitHub has a tendency to complain, but it's not a big deal. I wonder if it would be worth doing away with the license headers at this point too?
9d32012
to
4c1441a
Compare
* Remove dependencies. * Remove whitespace changes. * Revert branch merge error.
We are repeatedly having to request changes on PRs to change the annotations.
Although this saves effort (in terms of resolving conflicts) I think it is costing time in the long run because it necessitates more reviews and re-reviews.
This PR does all the changes at once, meaning any future PR will be unaffected (and any existing PR can just merge the changes if they haven't already).
I used an automatic script for it, so it's possible that the odd mistake exists, but since it builds and tests correctly, I would expect it only to be in documentation if at all.
This also removes whitespace in a number of large legacy files according to the contribution guidelines:
The whitespace causes a number of changes in the file diff of PRs that aren't actually related to the PR and simply take up space making it harder to review. I wanted to squash a lot of it in one go so we won't have to deal with it later.
Description
Removes the
org.eclipse.jdt
library responsible for eclipse annotations.Replaces all existing Eclipse annotations with the JetBrains alternative (e.g. NonNull -> NotNull).
This also removes the package-level eclipse annotations that were causing incorrect nullability warnings for addon developers in some place and encouraging incorrect assumptions (see the discussion re: 6684).
Related Issues: #6684