0000000000000000000000000000000000000000 b7bafa6d43fbcb7dd47d6fd4249c9c84e2b4e974 ci 1752934813 +0200 clone: from https://github.com/medInria/RPI.git b7bafa6d43fbcb7dd47d6fd4249c9c84e2b4e974 f5a55c0106708ff6545efc8dca57dee3de8526aa ci 1752934813 +0200 checkout: moving from master to RPI_INTERFACE f5a55c0106708ff6545efc8dca57dee3de8526aa f5a55c0106708ff6545efc8dca57dee3de8526aa git stash 1752936570 +0200 reset: moving to HEAD