Automatic synchronization from INGInious