Skip to content

Spelling#48

Open
jsoref wants to merge 7 commits into
cmu-db:masterfrom
jsoref:spelling
Open

Spelling#48
jsoref wants to merge 7 commits into
cmu-db:masterfrom
jsoref:spelling

Conversation

@jsoref

@jsoref jsoref commented Aug 14, 2025

Copy link
Copy Markdown
  • Errors are identified programmatically
  • I manually select corrections
  • I perform corrections using scripts

jsoref added 7 commits August 14, 2025 13:55
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
Comment thread pgext-cli/src/download.rs
}

/// Download an uncompress a tar file
/// Download and uncompress a tar file

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

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

while this was caught by the same heuristic as the other an correction, this correction is different because I'm a human...

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant