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

[MAINTENANCE]: remove unused badger.max-retries option from bulk command #8528

Closed
rderbier opened this issue Dec 15, 2022 · 1 comment
Closed

[MAINTENANCE]: remove unused badger.max-retries option from bulk command #8528

rderbier opened this issue Dec 15, 2022 · 1 comment
Assignees
@mangalaman93
Labels
area/bulk-loader Issues related to bulk loading. dgraph Issue or PR created by an internal Dgraph contributor. kind/maintenance Maintenance tasks, such as refactoring, with no impact in features. v21.12 supposedly corrected in v21.12

Comments

@rderbier
Copy link
Member

rderbier commented Dec 15, 2022 •
edited
Loading

What you wanted to do.

v21.12 PR #7591
@rderbier rderbier added kind/maintenance Maintenance tasks, such as refactoring, with no impact in features. area/bulk-loader Issues related to bulk loading. dgraph Issue or PR created by an internal Dgraph contributor. v21.12 supposedly corrected in v21.12 labels Dec 15, 2022
@rderbier rderbier moved this to 📋 Backlog in Feature Requests - PM RoadMap Dec 15, 2022
@rderbier rderbier moved this from 📋 TRIAGE to NOW in Feature Requests - PM RoadMap Jan 4, 2023
@mangalaman93
Copy link
Member

Fixed by #7677

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mangalaman93 mangalaman93

Labels
area/bulk-loader Issues related to bulk loading. dgraph Issue or PR created by an internal Dgraph contributor. kind/maintenance Maintenance tasks, such as refactoring, with no impact in features. v21.12 supposedly corrected in v21.12
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mangalaman93 @rderbier