Project Talk:GitHub/Pull requests

Note
Before creating a discussion or leaving a comment, please read about using talk pages. To create a new discussion, click here. Comments on an existing discussion should be signed using ~~~~:

A comment [[User:Larry|Larry]] 13:52, 13 May 2024 (UTC)
: A reply [[User:Sally|Sally]] 15:23, 6 July 2024 (UTC)
:: Your reply ~~~~

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)