Re: Git fetch/pull stopped working
- From
Jeff King <peff@peff.net>
- Date
- May 11, 2012, 20:28 UTC
- Message-ID
- <20120511202828.GA17750@sigill.intra.peff.net>
- In-Reply-To
- <CAH-tXsCi+zL5hKAHROA0hVfvOr07o4cknS8jy9qngapwB77QnQ@mail.gmail.com>
On Sat, May 12, 2012 at 01:25:42AM +0530, jaseem abid wrote:
Show 12 quoted lines
> On Sat, May 12, 2012 at 12:17 AM, Egor Ryabkov <egor.ryabkov@gmail.com> wrote: > > Problem solved. > > > > Turns out that was a miscommunication on out side: the guy who setup > > the keys on that box left, and his access to GH repo has been revoked. > > > > And GitHub returns "repo not found" rather than "you have no access > > rights for this repository". > > I have seen a lot of github guys in this list. I hope they will fix > this soon. I had this issue a long time back and now I'm understanding > what exactly happened then :)
This is not a bug, but rather the intentional behavior. It is there to prevent an information leak about the names of private repositories that the user has. Git-daemon has the same behavior by default (though it has a "friendly" mode if you are willing to leak that information for your site).
-Peff