Home

This is the dedicated space to for developers about development process of the project.

For technical document, references and tutorials, etc, please refer to the docs site.

Development Process

Branch Policy

• Master branch is protected, and only pull request with reviewers and CI passing can be merged.
• Master branch only allows linear history, with rebase only and merging is not allowed.
• One should create new branch for new feature development and bug fixes, and they should always have a issue number in their name: FEATURE-10-token-downgrade or BUG-11-fix-amount-leakage.
• All PR branches will be automatically deleted after the PR is accepted.

Github Workflows

TODO.