[PATCH] Document git-fetch options