Converting PR to commit on the pile about git-pile HOT 8 OPEN

I was running into this issue just now. The use case that I have is that I am working with another engineer on a project and we're working on independent tasks. For the integration step, I would like to pick some of the pending PRs from my teammate and pull it into my local git pile so I can start integration work ahead of the PR merge.

What this would be nice too is when I update the PR commit outside the context of my git pile. I'm usually making lint fixes on the GitHub web UI and it would also be nice to pull those changes back and remediate the differences in my git pile from my poor choices.

from git-pile.

Totally. If the PRs you want to pull in are single commits you can technically just cherry pick those changes, which isn't too bad. If they're multiple commits you can merge them into your branch and rebase -i to squash them all.

As far as updating the commit with remote changes that would definitely also be nice, right now pile does ask you if you want to update the underlying branch if it has been updated remotely, if you go to push a new commit, but that's only to help with making sure you can push new commits, not updating your pile state.

from git-pile.

I wrote my own script for this that seems to work, but I haven't thought if it would work in all cases or not https://github.com/keith/dotfiles/blob/7667eb94ef1682915a4622e86cad79f44a8ec3bd/bin/git-cp-pr

from git-pile.