On Tue, Sep 27, 2022 at 5:29 AM Stefan Hajnoczi <stefa...@gmail.com> wrote: > > On Fri, 23 Sept 2022 at 00:08, Alistair Francis > <alistair.fran...@opensource.wdc.com> wrote: > > are available in the Git repository at: > > > > g...@github.com:alistair23/qemu.git pull-riscv-to-apply-20220923-2 > > Hi Alistair, > Please use the HTTPS GitHub repo URL in pull requests. Setting > separate "url" (HTTPS) and "pushUrl" (ssh) settings for your remote in > git-config(1) should solve this problem.
Ah! Ok, now I see. I do have a separate `pushUrl` but I didn't update my script. I wasn't clear on what you were asking for last time. I'll update and resend. Alistair > > Stefan