Hello, Maxim Cournoyer <maxim.courno...@gmail.com> writes:
> Thanks, I'm sure the .patch suffix (ala Github) will come in handy. I think I shared it before, but I have this alias in ~/.gitconfig: --8<---------------cut here---------------start------------->8--- [alias] merge-pull-request="!m() { for id in $(git cherry HEAD pulls/pr/$1 | cut -c2-); do git cherry-pick --signoff $id; done; }; m" --8<---------------cut here---------------end--------------->8--- So I essentially do: git fetch pulls git merge-pull-request 123 where ‘pulls’ is defined like so: --8<---------------cut here---------------start------------->8--- [remote "pulls"] url = g...@codeberg.org:guix/guix.git fetch = +refs/pull/*/head:refs/remotes/pulls/pr/* --8<---------------cut here---------------end--------------->8--- Ludo’.