To become the official git repository for the Contiki OS