Arguments in favor of merge: - what's merged is actually what the pull requestee tested and posted.
- if there are digital signatures(we don't use them, but I think git has them), then they are not destroyed. - it's kinda nice to see a development branch as a separate project. When one rebases, this information is lost. -- Øyvind Harboe - Can Zylin Consulting help on your project? US toll free 1-866-980-3434 / International +47 51 87 40 27 http://www.zylin.com/ _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development