New article: GIT mirroring using Jenkins