Choosing the Right Git Pull Strategy for a Production Server