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/infoschema folder #47847

Closed
Tracked by #46911
wuhuizuo opened this issue Oct 20, 2023 · 1 comment · Fixed by #47867
Closed
Tracked by #46911

add OWNERS file for pkg/infoschema folder #47847

wuhuizuo opened this issue Oct 20, 2023 · 1 comment · Fixed by #47867
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 Oct 20, 2023
Closed
51 tasks
@wuhuizuo wuhuizuo self-assigned this Oct 20, 2023
@wuhuizuo wuhuizuo changed the title add OWNERS file for infoschema folder add OWNERS file for pkg/infoschema folder Oct 20, 2023
wuhuizuo added a commit to wuhuizuo/tidb that referenced this issue Oct 20, 2023
@wuhuizuo
pkg/infoschema: add OWNERS file
d7c3ebd 
Fixes pingcap#47847
@wuhuizuo wuhuizuo mentioned this issue Oct 20, 2023
Merged
13 tasks
@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 Oct 20, 2023
ti-chi-bot bot pushed a commit that referenced this issue Nov 1, 2023
@wuhuizuo
pkg/infoschema: add OWNERS file (#47867)
333a5db 
close #47847
This was referenced Nov 1, 2023
Closed
Merged
ti-chi-bot pushed a commit to ti-chi-bot/tidb that referenced this issue Nov 2, 2023
@wuhuizuo @ti-chi-bot
pkg/infoschema: add OWNERS file (pingcap#47867)
27a7d6d 
close pingcap#47847
ti-chi-bot bot pushed a commit that referenced this issue Nov 2, 2023
@ti-chi-bot
pkg/infoschema: add OWNERS file (#47867) (#48214)
b600c37 
close #47847
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

Successfully merging a pull request may close this issue.

pkg/infoschema: add OWNERS file wuhuizuo/tidb
1 participant
@wuhuizuo