Project Talk:GitHub/Pull requests

Note
This is a Talk page - please see the documentation about using talk pages. Add newer comments below older ones, sign comments using four tildes (~~~~), and indent successive comments with colons (:). Add new sections at the bottom of the page, under a heading (== ==). Please remember to mark sections as "open for discussion" using {{talk|open}}, so they will show up in the list of open discussions.

Pram

Talk status

This discussion is still ongoing as of December 3, 2016.

Could we also mention pram? It sorts a lot of problems listed in the "Merge pull requests" section. — The preceding unsigned comment was added by Monsieurp (talk • contribs) December 3, 2016‎

"need assignment" -> "needs assignment"

Talk status

This discussion is still ongoing as of January 30, 2018.

Michał Górny (mgorny) and GitHub team, any objections to converting the "need assignment" label to "needs assignment"?

The second one sounds better to native English speakers and may even be correct grammatically since the package the "need" being referred to is a singular ebuild/package. --Maffblaster (talk) 01:04, 31 January 2018 (UTC)

Merge GitHub Pull Requests and this article

Talk status

This discussion is still ongoing as of April 7, 2024.

It looks like the GitHub Pull Requests is a more up-to-date variant of this article. The fact that there are two articles on the very same topic is quite confusing. Can we merge them somehow? --Mim (talk) 12:54, 7 April 2024 (UTC)

Isn't this the one for devs receiving PRs while GitHub_Pull_Requests being the one for users creating PRs? Please keep them separated, each describing the specific procedure.

--Vaukai (talk) 13:31, 7 April 2024 (UTC)

Then at least it's worth adding at the top of both articles some disclaimer or a section that explains "Who is this article for?"

--Mim (talk) 14:14, 7 April 2024 (UTC)