Hello John,
I have already seen your pull requests but did not have the time to take a
deeper look at them. The one we accepted yesterday were from a colleague next
office and related to a project so we took that. But in general, if a pull
request is closed, it should be either merged in or rejected and in both cases,
I would add a comment to let you know.
Regards,
Martin
Am 12.04.2012 um 19:06 schrieb John Spackman:
Hi
I've noticed a couple of pull requests getting merged into master and just
wondered about the protocol – do pull requests need to be closed before they're
considered for inclusion, or is it just a matter of having the time to evaluate
individual requests? I've got a couple of outstanding requests but only just
noticed the "closed" bit…
John
------------------------------------------------------------------------------
For Developers, A Lot Can Happen In A Second.
Boundary is the first to Know...and Tell You.
Monitor Your Applications in Ultra-Fine Resolution. Try it FREE!
http://p.sf.net/sfu/Boundary-d2dvs2_______________________________________________
qooxdoo-devel mailing list
qooxdoo-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/qooxdoo-devel
------------------------------------------------------------------------------
For Developers, A Lot Can Happen In A Second.
Boundary is the first to Know...and Tell You.
Monitor Your Applications in Ultra-Fine Resolution. Try it FREE!
http://p.sf.net/sfu/Boundary-d2dvs2
_______________________________________________
qooxdoo-devel mailing list
qooxdoo-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/qooxdoo-devel
