Skip to content
This repository was archived by the owner on Jul 5, 2024. It is now read-only.

Add Scroll reviewers team as codeowners#438

Closed
CPerezz wants to merge 1 commit into
mainfrom
add_scroll_reviewers_codeowners
Closed

Add Scroll reviewers team as codeowners#438
CPerezz wants to merge 1 commit into
mainfrom
add_scroll_reviewers_codeowners

Conversation

@CPerezz
Copy link
Copy Markdown
Contributor

@CPerezz CPerezz commented Apr 7, 2022

Adds scroll-tech/zkevm-reviewers to CODEOWNERS file
to be requested for reviews of:

  • zkevm-circuits crate
  • bus-mapping crate

This is a follow-up PR of #429

Required before merge
@ChihChengLiang @barryWhiteHat to be able to merge this, @scroll-tech/zkevm-reviewers needs to be granted write permissions to the repository.

Adds `scroll-tech/zkevm-reviewers` to CODEOWNERS file
to be requested for reviews of:
- zkevm-circuits crate
- bus-mapping crate

This is a follow-up PR of #429
@CPerezz CPerezz requested review from a team, ChihChengLiang and barryWhiteHat April 7, 2022 19:05
Copy link
Copy Markdown
Contributor

@ed255 ed255 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Allowing people from scroll-tech to review and approve PRs formally will allow us to handle PRs more efficiently :)

CPerezz added a commit that referenced this pull request Apr 8, 2022
Deprecates #438 and instead adds the external_reviewers to the PR
reviews using a 3rd party application.

That is done like this to avoid including a lot of people into
`appliedzkp` org and granting custom permissions each time we want to
add a new reviewer.

Resolves: #429 completely.
@CPerezz
Copy link
Copy Markdown
Contributor Author

CPerezz commented Apr 8, 2022

Superset by #446

@CPerezz CPerezz closed this Apr 8, 2022
@CPerezz CPerezz deleted the add_scroll_reviewers_codeowners branch April 8, 2022 16:17
CPerezz added a commit that referenced this pull request Apr 8, 2022
Deprecates #438 and instead adds the external_reviewers to the PR
reviews using a 3rd party application.

That is done like this to avoid including a lot of people into
`appliedzkp` org and granting custom permissions each time we want to
add a new reviewer.

Resolves: #429 completely.
CPerezz added a commit that referenced this pull request Apr 12, 2022
Deprecates #438 and instead adds the external_reviewers to the PR
reviews using a 3rd party application.

That is done like this to avoid including a lot of people into
`appliedzkp` org and granting custom permissions each time we want to
add a new reviewer.

Resolves: #429 completely.
CPerezz added a commit that referenced this pull request Apr 12, 2022
Deprecates #438 and instead adds the external_reviewers to the PR
reviews using a 3rd party application.

That is done like this to avoid including a lot of people into
`appliedzkp` org and granting custom permissions each time we want to
add a new reviewer.

Resolves: #429 completely.
CPerezz added a commit that referenced this pull request Apr 13, 2022
* feat: Add PR requester for external reviewers

Deprecates #438 and instead adds the external_reviewers to the PR
reviews using a 3rd party application.

That is done like this to avoid including a lot of people into
`appliedzkp` org and granting custom permissions each time we want to
add a new reviewer.

Resolves: #429 completely.

* Trigger workflow only when PR is opened

Force-pushing to the PR currently re-triggers the workflow by assigning
to the PR a new member of the team while mantaining the previous.
That's an issue as we end up with multiple reviewers on each PR when
indeed we just need one.

See: uesteibar/reviewer-lottery#26 for more
details.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants