Made 'rev' property on pre-commit repo setting optional.

Made 'rev' property on pre-commit repo setting optional. #470