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

Friendly Collaboration Tip #57

Open
HaoZeke opened this issue Apr 19, 2021 · 1 comment
Open

Friendly Collaboration Tip #57

HaoZeke opened this issue Apr 19, 2021 · 1 comment

Comments

@HaoZeke
Copy link

HaoZeke commented Apr 19, 2021

Dear Maintainers,
I noticed a few recent PRs (#52 , #53) and possibly others have been closed by commits which reproduce the exact PR contents. This is a poor practice. PRs are normally meant to be merged. Indeed, for new instructors, not being able to link to a merged PR might delay checkout as well.
best,
Friendly fellow Carpentries maintainer

@ciakovx
Copy link
Contributor

ciakovx commented Apr 21, 2021 via email

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

No branches or pull requests

2 participants