Slackbot
08/11/2023, 9:29 PMJacob Gold
08/12/2023, 12:49 AMget a branch with an ancestor that has already been merged? I think there is a bug in that case that we haven't squashed yet.Jacob Gold
08/12/2023, 12:49 AMsubmit — cc @David Balatero /@Alyssa BaumDoug Cox
08/12/2023, 2:22 AMDoug Cox
08/14/2023, 9:25 PMJacob Gold
08/14/2023, 9:26 PMDoug Cox
08/14/2023, 9:27 PMJacob Gold
08/14/2023, 10:36 PMJacob Gold
08/14/2023, 10:36 PMDoug Cox
08/14/2023, 11:22 PMgt. I used to be able to grab arbitrary PRs, regardless of creation source (git vs gt)Jacob Gold
08/14/2023, 11:23 PMdownstack get but I think it shouldn't be hard to addDoug Cox
08/14/2023, 11:24 PMDoug Cox
08/14/2023, 11:24 PMJacob Gold
08/14/2023, 11:24 PMDoug Cox
08/14/2023, 11:24 PM