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

Mergequeue #305350

Open
Scriptkiddi opened this issue Apr 19, 2024 · 1 comment
Open

Mergequeue #305350

Scriptkiddi opened this issue Apr 19, 2024 · 1 comment
Labels
5. scope: tracking Long-lived issue tracking long-term fixes or multiple sub-problems 9.needs: documentation

Comments

@Scriptkiddi
Copy link
Contributor

Scriptkiddi commented Apr 19, 2024

This issue is to track every invocation of the merge bot that resulted in the pull request not being merged.

@Mic92
Copy link
Member

Mic92 commented Apr 19, 2024

This is to track ready-to-merge pull requests: NixOS/nixpkgs-merge-bot#86

@tomodachi94 tomodachi94 added the 5. scope: tracking Long-lived issue tracking long-term fixes or multiple sub-problems label May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
5. scope: tracking Long-lived issue tracking long-term fixes or multiple sub-problems 9.needs: documentation
Projects
None yet
Development

No branches or pull requests

3 participants