Commit dbda770b9c10968769697cd1a7d6ffff596dd30b

Omar Polo 2022-03-13T15:36:56

check file status before applying the patch Don't allow `got patch' to delete files that are not known, or add files that are already known and to edit files that are known, not obstructed and without conflicts.