Search results

Upgrade to Mend/Renovate from Dependabot

enhancement

r-ciRelates to the CIRelates to the CI

Status: Closed (completed).

#6588 In ethereum/EIPs;

· by Pandapip1 was closed on Mar 23, 2023

Allow including both an email and a GitHub username

enhancement

r-ciRelates to the CIRelates to the CI

r-eipsRelates to the formatting or another aspect of EIPsRelates to the formatting or another aspect of EIPs

r-websiteRelates to the WebsiteRelates to the Website

Status: Closed (completed).

#6510 In ethereum/EIPs;

· by Pandapip1 was closed on Mar 3, 2023

CI: Make @eth-bot run on every PR action

bugIf this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.If this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6284

#6284 In ethereum/EIPs;

· by Pandapip1 was closed on Jan 6, 2023

CI: Rename auto label bot

e-reviewWaiting on editor to reviewWaiting on editor to review

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6279

#6279 In ethereum/EIPs;

· by Pandapip1 was closed on Feb 13, 2023

CI: Use environment files

e-reviewWaiting on editor to reviewWaiting on editor to review

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6277

#6277 In ethereum/EIPs;

· by Pandapip1 was closed on Jan 31, 2023

Update CI: Fix automatic messaging and labeling

bugIf this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.If this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6276

#6276 In ethereum/EIPs;

· by Pandapip1 was closed on Jan 6, 2023

Update CI: Fix EIP bot sometimes not triggering

bugIf this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.If this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6275

#6275 In ethereum/EIPs;

· by Pandapip1 was closed on Jan 6, 2023

CI: Only run label bot on PRs to master

bugIf this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.If this is a PR, this PR fixes a bug. If this is an issue, this issue reports a bug.

r-ciRelates to the CIRelates to the CI

Status: Merged (completed).

ethereum/EIPsnumber 6255

#6255 In ethereum/EIPs;

· by Pandapip1 was closed on Jan 6, 2023

"Requires" section should not accept Withdrawn EIP

enhancement

r-ciRelates to the CIRelates to the CI

r-processRelates to an EIP ProcessRelates to an EIP Process

w-staleWaiting on activityWaiting on activity

Status: Not planned (skipped).

#6131 In ethereum/EIPs;

· by poojaranjan was closed on May 23, 2023

Allow external links when archived link provided

enhancement

r-ciRelates to the CIRelates to the CI

r-processRelates to an EIP ProcessRelates to an EIP Process

w-staleWaiting on activityWaiting on activity

Status: Closed (completed).

#5733 In ethereum/EIPs;

· by sambacha was closed on Jun 27, 2023

Errata'd EIPs

e-consensusWaiting on editor consensusWaiting on editor consensus

enhancement

r-ciRelates to the CIRelates to the CI

r-eipsRelates to the formatting or another aspect of EIPsRelates to the formatting or another aspect of EIPs

r-processRelates to an EIP ProcessRelates to an EIP Process

w-staleWaiting on activityWaiting on activity

Status: Not planned (skipped).

#5652 In ethereum/EIPs;

· by Pandapip1 was closed on May 26, 2023

Dynamic Required Approvals

e-consensusWaiting on editor consensusWaiting on editor consensus

enhancement

r-ciRelates to the CIRelates to the CI

r-processRelates to an EIP ProcessRelates to an EIP Process

w-staleWaiting on activityWaiting on activity

Status: Closed (completed).

#5651 In ethereum/EIPs;

· by Pandapip1 was closed on Mar 29, 2023