For contributors

This section explains some operations for managing the project.

  1. CI
  2. Update website
  3. Release