The Practical Dev's review of How to set up a git bare repository for web development code pushes