[lkml]   [2018]   [Nov]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [GIT PULL] PCI fixes for v4.20
On Wed, Nov 14, 2018 at 11:48:39PM +0100, Borislav Petkov wrote:
> On Wed, Nov 14, 2018 at 05:21:54PM -0500, Konstantin Ryabitsev wrote:
> > For the record, there's nothing wrong with that, it's just a condition
> > that I didn't expect. I have a fix in place that should avoid this in
> > the future.
> Actually, I meant the pull request URL.

My pull request URL was this:

ssh:// tags/pci-v4.20-fixes-1

> Here's some background info:
> and I kinda see the point of maybe not having your ssh username in the
> URL. Not that it is a big deal for us, users though.

Sorry, I don't understand the problem. I have this in my .gitconfig:

[url "ssh://"]
insteadOf =
insteadOf =
insteadOf = git://

because I thought that was the recommended way (see the end of But that also makes my

$ git request-pull origin/master git:// pci-v4.20-fixes-1

generate the ssh URL above. If I remove the insteadOf stuff from
.gitconfig, request-pull produces this instead:

git:// tags/pci-v4.20-fixes-1

I'm happy to do either; just tell me which :)


 \ /
  Last update: 2018-11-15 08:13    [W:0.059 / U:6.800 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site