Hi, Just a few quick notes about people and branches directories:
- people is for private stuff you don't want anyone else to touch. - branches is for shared trees you'd like other developers to collaborate with. - they're not mutually exclussive. it might make sense to branch off branches/ to people/ for a given change, or to branch someone's people/ branch into branches/ so you can modify something, and so on. - everyone is welcome to add stuff in branches/, no need to ask for permission. -- Robert Millan The DRM opt-in fallacy: "Your data belongs to us. We will decide when (and how) you may access your data; but nobody's threatening your freedom: we still allow you to remove your data and not access it at all." _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel