lotus/.github
Jiaying Wang 1e03fac105 Remove ticket number from the title
issue number in PR title is not that useful because reader cannot click it and need to mention the issue in the body for auto close either way.
2022-01-14 17:14:32 -05:00
..
ISSUE_TEMPLATE Update .github/ISSUE_TEMPLATE/enhancement.yml 2021-08-18 12:10:08 -04:00
workflows sync branch main with master on updates 2021-09-21 20:07:41 +00:00
CODEOWNERS Resurrect CODEOWNERS, but for maintainers group 2021-07-16 22:53:26 -07:00
labels.yml Add Impact Consensus label 2020-09-02 13:07:56 +02:00
pull_request_template.md Remove ticket number from the title 2022-01-14 17:14:32 -05:00