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

Add experimental multi-alias expansion warning. #644

Merged
merged 1 commit into from Apr 21, 2019

Conversation

asummers
Copy link
Contributor

Resolves #641

@asummers
Copy link
Contributor Author

Perfectly willing to entertain alternate name suggestions here too! This was my stab at it, but naming rules is tough.

@rrrene rrrene merged commit ce7a3eb into rrrene:master Apr 21, 2019
@rrrene
Copy link
Owner

rrrene commented Apr 21, 2019

@asummers Thx! 👍

@asummers asummers deleted the multi-alias branch February 4, 2020 01:24
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.

Proposal: Experimental "Avoid Multi Alias" Rule
2 participants