Skip to content

Nominate @claude - #121

Closed
wolfgangwalther wants to merge 1 commit into
NixOS:mainfrom
wolfgangwalther:copilot
Closed

Nominate @claude#121
wolfgangwalther wants to merge 1 commit into
NixOS:mainfrom
wolfgangwalther:copilot

Conversation

@wolfgangwalther

Copy link
Copy Markdown
Contributor

Since this is what is happening in Nixpkgs, we might as well accelerate the process and hand over to LLMs.

@wolfgangwalther
wolfgangwalther requested a review from a team as a code owner July 15, 2026 18:49
@wolfgangwalther

Copy link
Copy Markdown
Contributor Author

CI failure is Only one person can be nominated per PR, which is certainly the case here.

@eclairevoyant

Copy link
Copy Markdown

CI failure is Only one person can be nominated per PR, which is certainly the case here.

It's counting your self-removal as a "nomination", maybe that error should be improved.

@notklea notklea left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

copilot is not a GitHub user, as can be seen by the 404 that the GitHub API produces.

Furthermore, I believe giving a LLM the capability to merge commits on it's own based on potentially untrusted input from GitHub users is not acceptable.

@mweinelt

Copy link
Copy Markdown
Member

copilot is not a GitHub user, as can be seen by the 404 that the GitHub API produces.

Thanks for pointing that out. I think the original point can be made with Claude then.

@wolfgangwalther wolfgangwalther changed the title Nominate @copilot Nominate @claude Jul 16, 2026
@wolfgangwalther

Copy link
Copy Markdown
Contributor Author

Yeah, that's better anyway. We won't have to add that stupid AGENTS.md file this way, but can do everything via CLAUDE.md! 🚀

@wolfgangwalther

Copy link
Copy Markdown
Contributor Author

This won't work, because CLAUDE.md is now in .gitignore :(

@wolfgangwalther
wolfgangwalther deleted the copilot branch July 25, 2026 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants