Changing git-client-side download route so that the name of the file is reasonable when using wget.