Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Remove obsolete paths from CODEOWNERS #12838

Merged
merged 1 commit into from May 25, 2022

Conversation

MoritzThomasHuebner
Copy link
Contributor

Summary

Removed paths that no longer exist

  • experimental bazel folder
  • docker bazel builder

Test Plan

Run unit tests

Additional Information

  • This change is backwards-breaking

The removed paths do no longer exist.

Signed-off-by: Moritz Huebner <moritz.huebner@tngtech.com>
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines. label May 25, 2022
@github-actions
Copy link
Contributor

Thanks for opening a PR! 💯

A couple initial guidelines

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

@MoritzThomasHuebner MoritzThomasHuebner marked this pull request as ready for review May 25, 2022 02:00
@MoritzThomasHuebner MoritzThomasHuebner requested a review from a team as a code owner May 25, 2022 02:00
Copy link
Member

@maxhbr maxhbr left a comment

Choose a reason for hiding this comment

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

LGTM

@sebathomas sebathomas merged commit c60020c into magma:master May 25, 2022
mpfirrmann pushed a commit to mpfirrmann/magma that referenced this pull request May 31, 2022
The removed paths do no longer exist.

Signed-off-by: Moritz Huebner <moritz.huebner@tngtech.com>
emakeev pushed a commit to emakeev/magma that referenced this pull request Aug 5, 2022
The removed paths do no longer exist.

Signed-off-by: Moritz Huebner <moritz.huebner@tngtech.com>
@MoritzThomasHuebner MoritzThomasHuebner deleted the update_codeowners_file branch February 23, 2023 01:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size/XS Denotes a PR that changes 0-9 lines.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants