That place is git-revision.c; git-revision.c now lives in lib/log. Also fix the compilation rules so that all object files that need micro-revision.i depend on it.
