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

Document PR commits preference in CONTRIBUTING.md #4701

Closed
pellared opened this issue Nov 9, 2023 · 1 comment · Fixed by #4704
Closed

Document PR commits preference in CONTRIBUTING.md #4701

pellared opened this issue Nov 9, 2023 · 1 comment · Fixed by #4704
Assignees

Comments

@pellared
Copy link
Member

pellared commented Nov 9, 2023

Checked CONTRIBUTING.md but I wasn't sure if squashing was enabled or not for PRs so I did it manually. Thanks for pushing up your suggestions!

Originally posted by @mikeblum in #4699 (comment)

I think we should document that we prefer if people just add commits, including merge commits and avoid force pushes. Rewriting history makes reviewing harder. We can even say that we do "squash merge".

@mikeblum
Copy link
Contributor

mikeblum commented Nov 9, 2023

🤚 I'll update the docs

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 a pull request may close this issue.

2 participants