Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fix help/feedback #298
This comment has been minimized.
This comment has been minimized.Show comment Hide comment
On 07/07/2012 20:33, yerenkow wrote:
Even so, the wording is still a bit stilted. I'd express that as:
Repository catalogue is up-to-date, no need to fetch fresh copy
I'll commit that fix shortly.