0000000000000000000000000000000000000000 7f7c2677d65504cb7d2b2b5ccf4d1c0631db4e2e ci 1752931930 +0200 clone: from https://gitlab.inria.fr/dtk/dtk.git 7f7c2677d65504cb7d2b2b5ccf4d1c0631db4e2e 17989ebed630d26f35dd0021c8b5c478b776873c ci 1752931930 +0200 checkout: moving from develop to 1.7.1