David Reiss wrote:
We have been doing this a little differently. I prefer to have all of the development in one place instead of having to look around at everyone's repository. We have one central repository (with a mirror) and everyone posts their branches there. Whether they also use GitHub on the side is up to them.
This needs to be well documented. Also, will non-Git users need to consult this "one place"?
If it would make it a lot easier, we could make Git the preferred method for contributors. Without a lot of automatic notifications, it seems like a non-Git contributor could miss a lot.
Doug
