Fix style issues.
Inline git__timer()
Update git__timer() for other platforms.