Hi, I'd like to call a vote for enabling github issue.
The github issues could be treated as user mail list because Chinese users prefer github issue more than Jira. However, for more convenient project management consideration, we also use Jira. We could manage github and jira as follows: 【Create GitHub issue】Users create github issues when they want to report a bug or new feature. Discussion is performed under github issues. 【Create Jira issue】 If a github issue is valuable, we create a Jira issue for it and link the github issue url. After that, we add a [IOTDB-xxx] prefix in the title of github issue to mark it is already related to a Jira issue. 【Create PR】 Each functional PR or bug-fix PR should relate to a Jira issue. PMCs or committers could help link PR with Jira issues. Some minor PRs could be merged without a link to Jira issues, such as fix a typo. 【Close Jira Issue、Close github Issue、Merge PR】 Before mergine a PR, the contributor or the one merges the PR should mark the fixed-version in Jira issue and close the github issue if it is related. The vote is open for the next 72 hours and passes if at least three +1 votes and more +1 votes than -1 votes. Please vote accordingly: [ ] +1 approve [ ] +0 no opinion [ ] -1 disapprove with the reason Best, -- Jialin Qiao School of Software, Tsinghua University 乔嘉林 清华大学 软件学院
