Checkout a git revision

Make a checkout to a specific git revision.