Hi
There is a new service called Apache gitbox which has a better support of
github integration (pull request etc..)
Maybe we could move our sources to it?
Let me know

Cheers
-- 
Olivier Lamy
http://twitter.com/olamy | http://linkedin.com/in/olamy

Reply via email to