ensure file synchronization
It seems that when one modifies a file from within the IDE, it doesn't check whether the disk version is more recent. Changes on the disk are then lost if the file is modified within the IDE before doing a file refresh.
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
It seems that when one modifies a file from within the IDE, it doesn't check whether the disk version is more recent. Changes on the disk are then lost if the file is modified within the IDE before doing a file refresh.