Adam Mustafa
03/28/2023, 9:57 PMmain -> A -> B and I want to merge B into A. The app doesn't give me the option. I could just merge the PR in GH and upstack onto the new branch of course.Aryaman
03/29/2023, 1:01 AMgt branch checkout B, gt branch foldAryaman
03/29/2023, 1:01 AMgt stack submitAdam Mustafa
03/29/2023, 3:28 PMAryaman
03/29/2023, 3:29 PMmain -> A -> B
2. get A & B reviewed separately
3. fold A & B
4. merge AB into mainAdam Mustafa
03/29/2023, 3:32 PMAryaman
03/29/2023, 3:38 PMAdam Mustafa
03/29/2023, 3:44 PMFEATURE based off main. The team is working on those branches, say 2 people. We create a stack where we work off each others, main -> FEATURE -> A -> B. A and B both are ready for reviewed. A is approved on Github and we want to merge it into FEATURE. At the moment this is not allowed on the graphite interface. Post merge, we want main -> FEATURE -> B. Then when I run gt repo sync I'd like branch A to be deleted.
What you're suggesting is instead of merging on Github, we should fold locally and push. This would close the PR and it wouldn't be considered "merged".Adam Mustafa
03/29/2023, 3:46 PMFEATURE then upstacked B onto FEATURE so that I get main -> FEATURE -> B , then I had to rebase onto FEATURE and drop the commits that were in A since we use squash-merge.Aryaman
03/29/2023, 3:50 PM