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. _______________________________________________ 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/
