On 11/13/2018 1:34 PM, Jarkko Sakkinen wrote:

On Thu, Nov 08, 2018 at 09:08:35PM +0200, Jarkko Sakkinen wrote:

quoted

On Thu, Nov 08, 2018 at 04:19:09PM +0100, Peter Huewe wrote:

quoted

Am 8. November 2018 16:15:04 MEZ schrieb Jarkko Sakkinen [off-list ref]:

quoted

On Thu, Nov 08, 2018 at 03:16:03PM +0100, Roberto Sassu wrote:

quoted

Unfortunately, I cannot fetch the repository as infradead.org only
supports the git protocol (I'm behind a proxy).

Roberto

I use a proxy script similar to this:

https://gist.github.com/sit/49288

(random googling but gives the idea)

/Jarkko

Moving to a kernel.org repo would be really a benefit or convincing them to have a https interface as well.
We have the same proxy issue with infradead.
Peter
-- 
Sent from my mobile

So you are unable to use core.gitproxy to configure the proxy?

AFAIK the kernel development process does not disallow to use direct
git protocol for maintainer branches. Please, correct me if I'm
mistaken.

I solved the issue by creating a mirror of your repository with gitlab.

Roberto

/Jarkko

-- 
HUAWEI TECHNOLOGIES Duesseldorf GmbH, HRB 56063
Managing Director: Bo PENG, Jian LI, Yanli SHI