Re: Fetching a specific commit by commit ID

2014-12-07 Thread Olivier Croquette
On 06 Dec 2014, at 16:52, brian m. carlson wrote: >> - more interestingly: is there any reason why git fetch should not >> support fetching by commit id? There are real world use cases where >> this can be very useful, for instance when references on the remote >> have been overwritten or dele

Re: Fetching a specific commit by commit ID

2014-12-06 Thread brian m. carlson
On Sat, Dec 06, 2014 at 01:39:12PM +0100, Olivier Croquette wrote: > That brings up following questions/remarks: > - the documentation of git-fetch is not entirely correct, commit ids > are partially supported, not only refs This isn't completely true. What you're seeing here is that git fetch

Fetching a specific commit by commit ID

2014-12-06 Thread Olivier Croquette
Hello everyone, I am trying to fetch a commit using a commit ID instead of a reference. According to the documentation of git-fetch, this is not supported, but I found out that this is not entirely true. If the commit is already available in the repository, I get: $ git fetch origin 7365b1a9bd