You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Nov 3, 2021. It is now read-only.
Repository navigation
This repository was archived by the owner on Nov 3, 2021. It is now read-only.
Not a big thing, but saw there is mention of anyref in this repository's description:
Apologies if this is correct and I've misunderstood what I thought was a name change! If not, I figured it should be changed for consistency.
As an aside, there are other mentions of anyref in the repo, in comments, code, and documentation. I'd be happy to scrub through and change these but want to be sure this is an actual name change and not just my imagination 😆
@nilslice, yes, the name change happened. Thanks for pointing out the oversights. OTOH, this proposal has already been merged into the main spec, so that this repo is no longer active. Not sure it's worth cleaning up retroactively.
Good point! Yea, it might not be worthwhile after all. I suppose the counter argument is only that I tend to still land on these repos after a Google search, and the stale terms may lead to confusion.
Activity
rossberg commentedon Oct 20, 2021
@nilslice, yes, the name change happened. Thanks for pointing out the oversights. OTOH, this proposal has already been merged into the main spec, so that this repo is no longer active. Not sure it's worth cleaning up retroactively.
nilslice commentedon Oct 28, 2021
Good point! Yea, it might not be worthwhile after all. I suppose the counter argument is only that I tend to still land on these repos after a Google search, and the stale terms may lead to confusion.
rossberg commentedon Oct 29, 2021
I'm fine either way, will happily accept a PR.