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

PR Batch 7 #2256

Closed
1 task done
nponeccop opened this issue Apr 17, 2023 · 5 comments
Closed
1 task done

PR Batch 7 #2256

nponeccop opened this issue Apr 17, 2023 · 5 comments
Labels

Comments

@nponeccop
Copy link
Contributor

nponeccop commented Apr 17, 2023

Duplicates

  • I have searched the existing issues

Summary 💡

No response

Closed 🌈

Open

Carried over from B6

Carried from B5

Conflicts from Earlier Batches

Motivation 🔦

No response

@Wladastic
Copy link
Contributor

This one is missing, it has the B7 label and works very well now:
#1135
I kept improving it as long as pr was open haha

@Androbin
Copy link
Contributor

#1243 has the B7 label and is missing as well

@alreadydone
Copy link

alreadydone commented Apr 25, 2023

Is there interest in using a "batch manager" such as https://bors.tech/? It's used in an open-source project on GitHub I participated in. Basically, once maintainers approve a PR, they can immediately send it to bors, and bors will merge a batch of multiple approved PRs into a temporary staging branch and run CI on it; if CI passes then the staging branch will be merged into master and bors will then work on the next batch in the queue, and if not then bors will split the batch in half, put one half in the staging branch and the other half (as a different batch) in the queue, and so on; any PRs approved in the meantime will also be put in the queue as a different batch.

@github-actions
Copy link
Contributor

github-actions bot commented Sep 6, 2023

This issue has automatically been marked as stale because it has not had any activity in the last 50 days. You can unstale it by commenting or removing the label. Otherwise, this issue will be closed in 10 days.

@github-actions github-actions bot added the Stale label Sep 6, 2023
@github-actions
Copy link
Contributor

This issue was closed automatically because it has been stale for 10 days with no activity.

@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Sep 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

4 participants