-
Emmanuel Milou authored
Feature/git dirty repos Add a git "module" that checks if workspace repositories are clean or not. If not, asks if user wishes to continue with consequence of potentially loosing local files/commits/modifications. See merge request !5
354ba9fd