On Tue, 24 Oct 2023 at 04:50, Philippe Mathieu-Daudé <phi...@linaro.org> wrote: > > On 24/10/23 12:06, Alex Bennée wrote: > > > A pull request is really just a GPG signed tag that you push to a repo. > > You can use the existing git tooling to create the cover letter for it. > > > > I've included my exact steps at the end of the email but really it comes > > down to: > > > > git tag --sign your-pr-tag > > git push your-pr-tag > > git format-patch <series details> > > git request-pull origin/master your_repo_details your-pr-tag > > > > and finally > > > > git send-email > > > > My personal exact steps are integrated with my editor but are: > > > > 8 Preparing a QEMU Pull Request > > ═══════════════════════════════ > > > 9 And send the pull request > > ═══════════════════════════ > > For these steps I just do: > > $ git publish -b origin/master \ > --pull-request --sign-pull --keyid=0xMYKEY > > which uses .gitpublish from commit 08bb160e02, > calling get_maintainer.pl for each patch. > > Using GSuite, I also have in ~/.gitconfig: > > [sendemail] > smtpServer = smtp.gmail.com > smtpBatchSize = 1 > smtpReloginDelay = 3
Thanks all, I'll do some dry runs to walk through these approaches. -Titus