Hello Antoine,
Thanks for your answer:
Le 17/11/2018 à 15:40, Antoine ELIAS a écrit :
Hello Samuel,
First, never use Windows date/time as reference, it is just a view of
your local repo and there no link with git information.
> In GIT, as shown above, all dates of *.sci are actually very recent.
Not really, in fact image/view of the repo on your system have recent
dates. Windows file system dates can change on clone, pull/rebase,
checkout...
Windows dates have been got just after a /git checkout origin/6.0 + git
fetch + //git reset --hard//origin/6.0/.
As fas as i understand, this is supposed to refresh all local files and
synchronize them with the remote GIT.
In addition, if dates were the one when files are copied to the local
repo, they would all be the
same, after this "refreshing" sequence. This is not the case.
So, it is still unclear to me.
I will have a look on how GIT manages files with /reset --hard/.
Regards
Samuel
_______________________________________________
dev mailing list
dev@lists.scilab.org
http://lists.scilab.org/mailman/listinfo/dev
