Add reflection on why manually pulling changes to local repository is preferable to Git doing it automatically.