Hey Jason! Would love to dig into this a little more - manually merging items in a stack on GitHub (merging one, rebasing and merging the next, so-on-and-so-forth) seems like it should take a lot longer than our merge jobs.
Do you guys have long-running CI?
j
Jason Cipriani
11/06/2023, 8:05 PM
Nope, no CI. The merge jobs just take multiple minutes per merge.
Jason Cipriani
11/06/2023, 8:05 PM
It's pretty consistent.
p
Pranathi Peri
11/06/2023, 8:06 PM
Hmmm thanks for the deets
@David Bradford might be your domain of expertise?
j
Jason Cipriani
11/07/2023, 6:06 PM
For example, the stack of 2 PRs I just merged took roughly 5 seconds for the first PR, and 3 minutes for the second.