[Gnu-arch-users] Must i always store all archives from which was merge?

[Попков Александр]

Hello GNU ARCH users!

I am having one main archive and one per developer local archives
on development-server.

Developers are tag projects from main to local archives. Then change
its, commit to local, then merge from local to main...
Sometimes merge back from main to local (for sync with other developers changes)

Now the question: one of developers are fired, can I
calmly delete his local archive without harm to main archives
and without loosing any changes history?

Thanks in advance!

---
WBR, Alexander Popkov.