proper property for git revision id