Hi,
Over the last week, Lei and I have been researching about the review
platform where the content submitted can be reviewed, commented, tagged and
pushed. This will be an alternative to github pull requests interface, which
will thus reduce our dependency on Github in case Github
On 29 May 2015 at 20:33, kunaal jain kunaa...@gmail.com wrote:
Hi,
Over the last week, Lei and I have been researching about the review
platform where the content submitted can be reviewed, commented, tagged and
pushed. This will be an alternative to github pull requests interface, which
