Gavin John
Gavin John
All assets should be CC0. Exceptions can be made, but in general, assets being the same license as the EIP itself is the policy. This is primarily to help aid...
@PowerStream3604 please approve this PR
@SamWilsn I request a manual merge.
Still an issue.
Needs manual merge due to deleting a file.
You must make some sort of change to the EIP too so that the automerger bot can merge this.
I disagree. If it doesn't change anything functional, it's fine.
I think all we need to do is add the `title` attribute to the `` tags, and that should work. Worst case, I could do something with popperjs.
@julesl23 the CI errors need fixing
See https://github.com/ethereum/EIPs/pull/5522/files