Why does this git repository exist?