EIPs icon indicating copy to clipboard operation
EIPs copied to clipboard

CI: Warn on non-relative links and on extra sections

Open Pandapip1 opened this issue 3 years ago • 1 comments
trafficstars

Uses the new deny/warn/allow system.

Pandapip1 avatar Nov 08 '22 11:11 Pandapip1

Hi! I'm a bot, and I wanted to automerge your PR, but couldn't because of the following issue(s):


(fail) .github/workflows/ci.yml

classification
ambiguous
  • '.github/workflows/ci.yml' must be in eip-###.md format; this error will be overwritten upon relevant editor approval

eth-bot avatar Nov 08 '22 11:11 eth-bot

May I ask why we're switching to warnings?

SamWilsn avatar Dec 26 '22 01:12 SamWilsn

May I ask why we're switching to warnings?

  • Some external links are now allowed
  • EIP-1 doesn't say that you can't use sections not defined in EIP-1

Pandapip1 avatar Dec 26 '22 15:12 Pandapip1

  • Some external links are now allowed

Those exceptions are already supported:

https://github.com/ethereum/eipw/blob/4e4bc7b50a094ea9b02551113780b380a096120d/eipw-lint/src/lib.rs#L360-L363

  • EIP-1 doesn't say that you can't use sections not defined in EIP-1

While true, I'm not convinced we should allow extra sections without specific editor approval?

SamWilsn avatar Dec 26 '22 17:12 SamWilsn

I'm not convinced we should allow extra sections without specific editor approval?

Agreed, but on the other hand I'm not convinced that we should require a manual merge to allow extra sections.

Pandapip1 avatar Dec 26 '22 17:12 Pandapip1

There has been no activity on this pull request for 2 weeks. It will be closed after 3 months of inactivity. If you would like to move this PR forward, please respond to any outstanding feedback or add a comment indicating that you have addressed all required feedback and are ready for a review.

github-actions[bot] avatar Jan 17 '23 00:01 github-actions[bot]

@SamWilsn

Pandapip1 avatar Jan 17 '23 22:01 Pandapip1

I too am firmly against out of order sections. Might it be possible to separate those two lints?

Pandapip1 avatar Jan 25 '23 18:01 Pandapip1

There has been no activity on this pull request for 2 weeks. It will be closed after 3 months of inactivity. If you would like to move this PR forward, please respond to any outstanding feedback or add a comment indicating that you have addressed all required feedback and are ready for a review.

github-actions[bot] avatar Feb 11 '23 00:02 github-actions[bot]

@SamWilsn see my previous question

Pandapip1 avatar Feb 11 '23 19:02 Pandapip1