Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Specify which kind of dump admins should take when fixing a database #9990

Closed
wants to merge 3 commits into from

Conversation

babolivier
Copy link
Contributor

Because "taking a dump" has more than one meaning in English.

Because "taking a dump" has more than one meaning in English.
@babolivier babolivier requested a review from a team May 14, 2021 11:02
Copy link
Member

@richvdh richvdh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this looks good, but is going to conflict with #9989, so I'll just merge it in there.

richvdh added a commit that referenced this pull request May 14, 2021
@richvdh richvdh closed this May 14, 2021
@richvdh richvdh mentioned this pull request May 14, 2021
@babolivier babolivier deleted the babolivier/dumps branch October 28, 2021 15:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants