On 24/10/23 18:07, Titus Rwantare wrote:
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.
Tell me if you want me to unqueue your v4, otherwise I'll send a PR
with it in a few days.
Regards,
Phil.
