Slackbot
11/30/2023, 6:01 PMAryaman
11/30/2023, 6:22 PMgt split the PR you want, and name the branch of the first part of split as something else, and preserve the branch name for the second part of the splitAryaman
11/30/2023, 6:22 PMTyler Laprade
11/30/2023, 6:23 PMgt split would take hours to select each relevant fileTyler Laprade
11/30/2023, 6:23 PMTyler Laprade
11/30/2023, 6:24 PMgt move on top of them?Aryaman
11/30/2023, 6:25 PM$ gt checkout branch
// Assuming you have a single commit on the branch
$ git reset --soft HEAD~1
$ git restore --staged (all changes except the 3 files)
$ git commit -m "first three files"
$ git add -A && git commit -m "remaining files"
$ gt split (by commit)
$ gt submitAryaman
11/30/2023, 6:25 PMSo it sounds like my best option is to redo the changes thenThis feels safer though?on top of them?gt move