On Thu, Nov 15, 2018 at 11:27:06AM -0600, Bjorn Helgaas wrote: > Yep, it seems to for me. Maybe I'm doing something else weird, because I > don't see many other pull requests with ssh:// URLs. So what I've done here is I've added a remote git repo using the *public* URL of my repo and so when I use git request-pull, I always point to the public one - I need to fetch the tag before, of course, but that's trivial - and then the URL is the public one. I.e, $ git request-pull master bp-pub <TAG> This has the additional value of *actually* making sure I've really pushed the tag. HTH. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.