Discussion of the Benefits and Drawbacks of the Git Pre-Commit Hook