For contributors

May 3, 2015 ยท View on GitHub

This section explains some operations for managing the project.

  1. CI
  2. Update website
  3. Release