A git repository of Armadillo updates.