[LLVMdev] repo.or.cz GIT mirrors

[Anton Korobeynikov]

Hello Everyone

As you might already know, git mirrors of llvm repository started from
repo.or.cz mirrors, where stuff was pushed almost by hands out of
git-svn local copy. Right now we have official and automatically
updated GIT mirrors on llvm.org and thus repo.or.cz mirrors look a bit
redundant. However, they might still be useful, but definitely not
within the current "push mode". It is possible to convert them to
plain GIT mirrors of llvm.org GIT mirrors with automatic pulling, but
this, in fact, will require us to delete repo.or.cz repos and recreate
them from scratch.

I hope this would affect only forks, from which only 1-2 seem to be
active (and hopefully they can be just recreated on top of new
projects).

Any objections for such procedure? Maybe someone will have better idea?

-- 
With best regards, Anton Korobeynikov
Faculty of Mathematics and Mechanics, Saint Petersburg State University