Skip to content

Conversation

ggerganov
Copy link
Member

Extend the section about PR with a couple of guidelines about merging other people's PRs.

ggerganov and others added 2 commits September 9, 2025 08:41
Co-authored-by: Diego Devesa <[email protected]>
Co-authored-by: Johannes Gäßler <[email protected]>
@ggerganov ggerganov merged commit c252ce6 into master Sep 9, 2025
3 checks passed
@ggerganov ggerganov deleted the gg/contrib-add-note-about-pr-merging branch September 9, 2025 05:42
njsyw1997 pushed a commit to aizip/llama.cpp that referenced this pull request Sep 10, 2025
* contrib : add notes about merging PRs

* Update CONTRIBUTING.md

Co-authored-by: Diego Devesa <[email protected]>

* Update CONTRIBUTING.md

Co-authored-by: Johannes Gäßler <[email protected]>

---------

Co-authored-by: Diego Devesa <[email protected]>
Co-authored-by: Johannes Gäßler <[email protected]>
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.

3 participants