Change-Id: Ie94cbdbcada7e450844931f1ab85d265e449716a
This module sets up git repository mirroring to github.