Re: [PATCH 2/3] Makefile: split GIT_USER_AGENT from GIT-CFLAGS

Jeff King [off-list ref] writes:

The default user-agent depends on the GIT_VERSION, which
means that anytime you switch versions, it causes a full
rebuild. Instead, let's split it out into its own file and
restrict the dependency to version.o.

Signed-off-by: Jeff King <redacted>
---
This can't just depend on GIT-VERSION-FILE, since the user may have set
GIT_USER_AGENT independently, and we would want to trigger a rebuild in
that case.

OK.  Will queue.