DevOps CheckLists: Human-Processed Source Code Belongs in Git