Hello Matthieu,

I'm by no means a git expert but I think this might be correct behavior.

This seems like it's due to Github assuming a not found repository is 
private, rather than an repository not
existing. If the repo you attempted to clone _was_ private and you didn't 
have access to it,  a 401 would be 
appropriate. However it would be a security/privacy error to be able to 
tell the existence of a private repository
from the status codes. Thus, the choice between the client always getting a 
404 vs always getting a 401 was
made. There might be another meaning behind 404 in the git client; for 
instance if the remote does not actually
host girt repositories. However it feels right to me that if a repository 
can't be found, I authenticate and try
again; in which case I would need to have received a 401 rather than a 404.

That's just my guess though.

Cheers,

Andrew



-- 


********************************************



 

*Inmar Confidentiality 
Note*:  This e-mail and any attachments are confidential and intended to be 
viewed and used solely by the intended recipient.  If you are not the 
intended recipient, be aware that any disclosure, dissemination, 
distribution, copying or use of this e-mail or any attachment is 
prohibited.  If you received this e-mail in error, please notify us 
immediately by returning it to the sender and delete this copy and all 
attachments from your system and destroy any printed copies.  Thank you for 
your cooperation.



 

*Notice of Protected Rights*:  The removal of any 
copyright, trademark, or proprietary legend contained in this e-mail or any 
attachment is prohibited without the express, written permission of Inmar, 
Inc.  Furthermore, the intended recipient must maintain all copyright 
notices, trademarks, and proprietary legends within this e-mail and any 
attachments in their original form and location if the e-mail or any 
attachments are reproduced, printed or distributed.

 

********************************************

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/git-users/ca8cd374-8c7d-48fa-a034-17971f320582n%40googlegroups.com.

Reply via email to