Hello, Ciro. I don't think it is a lack of syncing, but that there is a misconfiguration on the interaction between Gerrit and the mirror, and the dates are being set incorrectly. For example, commit 699ef82eba4ffe4ba49645968d2969b56599b617 is shown as being submitted on 11/21/2016 (https://github.com/gem5/gem5/commit/699ef82eba4ffe4ba49645968d2969b56599b617), but it was done on 06/19/2018 (https://gem5-review.googlesource.com/c/public/gem5/+/11309). All recently merged commits can be seen there, but with a random date.
Att,Daniel Carvalho Em sexta-feira, 24 de agosto de 2018 11:18:54 GMT+2, Ciro Santilli <[email protected]> escreveu: https://github.com/gem5/gem5/tree/master _______________________________________________ gem5-dev mailing list [email protected] http://m5sim.org/mailman/listinfo/gem5-dev _______________________________________________ gem5-dev mailing list [email protected] http://m5sim.org/mailman/listinfo/gem5-dev
