I forgot how much I hated git, but then I decided to port my GHC branch from 9.6 to 9.12. It's impressive how the industry manages to settle with the most mediocre solution to every possible problem literally every single time.
So far the easiest way I figured is create a new branch, then manually cherry-pick all required commits. I fucking hate git.
Follow
@icon_of_computational_sin
Or the grandpa's way: git-format-patch — then reapply all those patches to a different branch, basically same as cherry-picking, but you don't have to remember their IDs.
You can probably also do "git-rebase -i" to a branch with a different tag — and drop the ones you don't need 🤔
