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

[Subtask] Add user doc for partition management #1859

Closed
mchades opened this issue Feb 1, 2024 · 0 comments · Fixed by #2029
Closed

[Subtask] Add user doc for partition management #1859

mchades opened this issue Feb 1, 2024 · 0 comments · Fixed by #2029
Assignees
@mchades
Labels
subtask Subtasks of umbrella issue
Milestone
Gravitino 0.4.0

Comments

@mchades
Copy link
Contributor

mchades commented Feb 1, 2024

Describe the subtask

Add user doc for partition management

Parent issue

#1575
@mchades mchades added the subtask Subtasks of umbrella issue label Feb 1, 2024
@mchades mchades self-assigned this Feb 1, 2024
@mchades mchades added this to the Gravitino 0.4.0 milestone Feb 1, 2024
@mchades mchades mentioned this issue Feb 4, 2024
Merged
jerryshao pushed a commit that referenced this issue Feb 4, 2024
@mchades
[#1859] docs: Add user doc for partition management (#2029)
ad25e8c 
### What changes were proposed in this pull request?

Add user doc for partition management

### Why are the changes needed?

Fix: #1859 

### Does this PR introduce _any_ user-facing change?

no

### How was this patch tested?

local tested
github-actions bot pushed a commit that referenced this issue Feb 4, 2024
@mchades @web-flow
[#1859] docs: Add user doc for partition management (#2029)
e71b2be 
### What changes were proposed in this pull request?

Add user doc for partition management

### Why are the changes needed?

Fix: #1859 

### Does this PR introduce _any_ user-facing change?

no

### How was this patch tested?

local tested
@jerryshao jerryshao mentioned this issue Feb 4, 2024
Merged
qqqttt123 pushed a commit that referenced this issue Feb 4, 2024
@jerryshao @mchades
[#1859] docs: Add user doc for partition management (#2049)
3c7658b 
### What changes were proposed in this pull request?

Add user doc for partition management

### Why are the changes needed?

Fix: #1859 

### Does this PR introduce _any_ user-facing change?

no

### How was this patch tested?

local tested

Co-authored-by: mchades <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mchades mchades

Labels
subtask Subtasks of umbrella issue
Projects
None yet
Milestone
Gravitino 0.4.0
Development

Successfully merging a pull request may close this issue.

[#1859] docs: Add user doc for partition management mchades/gravitino
1 participant
@mchades