On Jan 7, 2010, at 3:10 PM, Stefan Monnier wrote: > The old savannah Git repository had some disadvantages (mostly it > lacked some merge info which Andreas added semi-automatically from the > Arch repository to his Git conversion). So if anything, it's better to > rebase from the old savannah Git to the new repo.or.cz rather than the > other way around. Point well taken. Andreas, is repo.or.cz the basis of the new official git repository, i.e. are all revids final?