Yoni Rabkin wrote: > Bob Proulx writes: > > I am not trying to talk you out of a separate repository but one could > > use a separate branch for this. > > I'll consider that as well, especially if it means less work for the > admins.
It's easy to create additional repositories. A lot of projects have them. If it makes things easier for you then please use a separate repository. I'll turn your statement around and say that anything that makes it easier to develop free software is better for all of us. :-) Bob