Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add OWNERS file for pkg/executor folder #47089

Open
Tracked by #46911
wuhuizuo opened this issue Sep 19, 2023 · 3 comments
Open
Tracked by #46911

add OWNERS file for pkg/executor folder #47089

wuhuizuo opened this issue Sep 19, 2023 · 3 comments
Assignees
@wuhuizuo
Labels
type/enhancement The issue or PR belongs to an enhancement.

Comments

@wuhuizuo
Copy link
Contributor

No description provided.

@wuhuizuo wuhuizuo mentioned this issue Sep 19, 2023
Closed
51 tasks
wuhuizuo added a commit to wuhuizuo/tidb that referenced this issue Sep 19, 2023
@wuhuizuo
distsql,executor,expression: add code OWNERS files
12d736a 
Ref: pingcap#47088, pingcap#47089, pingcap#47090
Signed-off-by: wuhuizuo <wuhuizuo@126.com>
@wuhuizuo wuhuizuo mentioned this issue Sep 19, 2023
Merged
13 tasks
@wuhuizuo
Copy link
Contributor Author

/assign wuhuizuo

@wuhuizuo
Copy link
Contributor Author

/type enhancement

@ti-chi-bot ti-chi-bot bot added the type/enhancement The issue or PR belongs to an enhancement. label Sep 19, 2023
@wuhuizuo wuhuizuo mentioned this issue Sep 28, 2023
Merged
13 tasks
ti-chi-bot bot pushed a commit that referenced this issue Sep 28, 2023
@wuhuizuo
executor: revert OWNERS file (#47362)
da25004 
ref #47089
@ti-chi-bot ti-chi-bot mentioned this issue Sep 28, 2023
Merged
13 tasks
ti-chi-bot bot pushed a commit that referenced this issue Sep 28, 2023
@ti-chi-bot
executor: revert OWNERS file (#47362) (#47368)
6a1167f 
ref #47089
@wuhuizuo wuhuizuo changed the title add OWNERS file for executor folder add OWNERS file for pkg/executor folder Oct 20, 2023
@wuhuizuo
Copy link
Contributor Author

It's reverted

@wuhuizuo wuhuizuo reopened this Oct 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wuhuizuo wuhuizuo

Labels
type/enhancement The issue or PR belongs to an enhancement.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wuhuizuo @hawkingrei