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.

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

Fix various spelling errors #79

Closed
wants to merge 1 commit into from
Closed

Conversation

ottok
Copy link

@ottok ottok commented Mar 3, 2022

Most fixes are in comments and have no effect on functionality.
Some fixes are also in variable names but they should be safe to change,
as the change is consistent in all occurrences of the variable.

I intend to fix submit this on mailing list following https://wiki.postgresql.org/wiki/Submitting_a_Patch but decided to open a PR here too to benefit from the CI system PostgreSQL has on Pull Requests.

Most fixes are in comments and have no effect on functionality.
Some fixes are also in variable names but they should be safe to change,
as the change is consistent in all occurrences of the variable.
@dpage
Copy link
Member

dpage commented Mar 3, 2022

Thanks for your Pull Request! 😄 This repo on GitHub is just a mirror of our real git repositories though, and can't really handle PRs. 😦 Hopefully you can redo the PR, and direct it to the git.postgresql.org repos? We have a developer guide, if that helps: https://wiki.postgresql.org/wiki/So,_you_want_to_be_a_developer%3F. If this was a PR for pgAdmin, please visit https://www.pgadmin.org/docs/pgadmin4/dev/submitting_patches.html, or if it was a patch for pgweb, please send it to pgsql-www@lists.postgresql.org.

@dpage dpage closed this Mar 3, 2022
@anarazel
Copy link
Member

anarazel commented Mar 5, 2022

@ottok You can enable the CI on your own fork as well. https://github.com/postgres/postgres/blob/master/src/tools/ci/README

@ottok
Copy link
Author

ottok commented Mar 16, 2022

This was committed in 6bdf1a1 (although without using proper git --author, so Github and other trackers don't show me as author, but main thing is that is in now).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants