On Thu, Aug 16, 2012 at 08:22:57PM +0000, Sands Alden Fish wrote: > Does this work? Can't non-committers submit pull requests, and can't only > committers merge to master? > > On Aug 16, 2012, at 4:09 PM, Mark H. Wood wrote: > > My suggestion: ordinarily the person who submitted the pull request > should do the merge.
*sigh* Right you are. So, how do we get to a state in which, while many people see a successful vote and think, "I could take care of that," it's highly likely that one person sees it and thinks, "merging that is my responsibility"? How can we automatically distinguish someone who "should" handle the merge? We can still recognize that no one has done the merge after a day or two, and just take care of it, but we need a way to make this case unusual. Github has the concept of a request being assigned to someone. Can we make use of that somehow? How would requests be assigned? -- Mark H. Wood, Lead System Programmer [email protected] Asking whether markets are efficient is like asking whether people are smart.
pgp0hSHn0K7nb.pgp
Description: PGP signature
------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________ Dspace-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/dspace-devel
