And is there a way to extract a documentation of the project in a way Javadoc works? That option would be of great help if it would be used.
2017-10-01 20:37 GMT+02:00 Mark Nuzz <nuzz...@gmail.com>: > On Sun, Oct 1, 2017 at 11:32 AM, Ivan Vodišek <ivan.mo...@gmail.com> > wrote: > > > > The key property of collaboration system I'm proposing is a security > system > > where each author can give privileges to modify or to fork out their > work. > > This way I hope that the system could scale well towards a bigger number > of > > maintainers, without need to boss around like in big corporations. > > > > Are there any thoughts on this subject? Is there even an interest in > such a > > tool? > > > > There's already such a tool, it's called the Pull Request. You could > have as part of a CI system a way to automatically assign reviewers to > a pull request, based on the changes that are made, and where they > were made. And some bigger tech companies do this very thing. > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to opencog+unsubscr...@googlegroups.com. > To post to this group, send email to opencog@googlegroups.com. > Visit this group at https://groups.google.com/group/opencog. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/opencog/CAMyYmr--p%2BDpT7ZHOwFQ9CnsTE8Xri9s3gucO1 > Qb8t0b3EY8WA%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to opencog+unsubscr...@googlegroups.com. To post to this group, send email to opencog@googlegroups.com. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAB5%3Dj6X%3DF1mn%2Bq30_hvX0%3D%2Bna10t%3DSWGnOYG9bHRCxy1nwgLHQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.