Comment on Remove Dev branch from Git.