On Thu, Mar 31, 2005 at 10:28:29AM +0400, Попков Александр wrote: > 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?
If all the desired changes are merged into main archive, then of course you can delete the local archive. -- Minds, like parachutes, function best when open _______________________________________________ Gnu-arch-users mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-arch-users GNU arch home page: http://savannah.gnu.org/projects/gnu-arch/
