It does not make sense. Correct approach is to remove app_dev.php from the repo and put it to ignore files because all developers may have own settings and me one of them