Use own mirror for clones

This patch replaces the official location with the local github mirror,
in order to prevent things from disappearing.