Skip to content

Remove munificent as owner of args in CODEOWNERS #891

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

Merged
merged 1 commit into from
May 12, 2025

Conversation

munificent
Copy link
Member

I created the args package, but don't actively maintain it now, so it doesn't make sense to auto-assign issues to me.

I created the args package, but don't actively maintain it now, so it doesn't make sense to auto-assign issues to me.
@munificent munificent requested a review from a team as a code owner May 9, 2025 23:39
@github-actions github-actions bot added the type-infra A repository infrastructure change or enhancement label May 9, 2025
Copy link

github-actions bot commented May 9, 2025

PR Health

Breaking changes ✔️
Package Change Current Version New Version Needed Version Looking good?
Changelog Entry ✔️
Package Changed Files

Changes to files need to be accounted for in their respective changelogs.

Coverage ✔️
File Coverage

This check for test coverage is informational (issues shown here will not fail the PR).

API leaks ✔️

The following packages contain symbols visible in the public API, but not exported by the library. Export these symbols or remove them from your publicly visible API.

Package Leaked API symbols
License Headers ✔️
// Copyright (c) 2025, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
Files
no missing headers

All source files should start with a license header.

@devoncarew devoncarew merged commit 66348be into main May 12, 2025
11 checks passed
@devoncarew devoncarew deleted the remove-munificent-from-args branch May 12, 2025 16:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-infra A repository infrastructure change or enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants