Hi, Any more thought on the subject ? Anyone has an objection to making the git conversion on the 11th of December ? In case there is no comment by tonight, I think we can consider to push it to the 11th. -- Cyrille Berger Skott