ELI5: What is a pull request (PR)? : r/explainlikeimfive - Reddit
2019年10月3日 · "Pull Requests" (or "Merge Requests") aren't implemented in Git itself. They are a feature provided by code hosting and collaboration platforms, like GitHub, GitLab, Bitbucket, on top of Git. Depending, which platform you use, the feature is called differently.
Why is it called a pull request instead of a merge or add request ...
2021年6月8日 · I agree the term merge request makes more sense, but context matters if one is asking Linus Torvalds to pull code from a remote repo, and merge it himself. However it's Linus is on GitHub or Gitlab and it's just clicking a mouse pointer a …
What’s a pull request? : r/Frontend - Reddit
2021年7月29日 · Linus Torvalds invented git, but then GitHub came up with the term pull request (others called it merge request), as it's named relative to the source, which makes sense ... if your name is Mr./Ms. Source Code. I find it patently dumb phrasing, like we park in a driveway and drive in a parkway in America.
Your GitHub pull request workflow is slowing you down
2023年12月6日 · So if you worked on something for a week and wanted to split it up into ten small pull requests each of which depended on the last, well, that's going to take a few months to merge in . . . and so obviously you ended up just smooshing everything together into megachanges, and doing all your work in whatever your oldest not-yet-snagged-by-the ...
Create a pull request from Github iOS app? : r/github - Reddit
2021年12月12日 · Posted by u/[Deleted Account] - 7 votes and 5 comments
I created a Pull Request metrics tool for GitHub : r/github - Reddit
2023年3月10日 · I created a Pull Request metrics tool for GitHub. It makes daily reports that show metrics for your team's pull requests, so you can spot (and fix!) delays in the PR open / review / merge pipeline. This helps get code reviewed and into production much faster.
r/github on Reddit: Unsure of how to properly make a pull request ...
2016年10月25日 · Push your new branch with commits back to your forked copy on GitHub. GitHub will present you with a big green "Make pull request" button. This first gives you the option to review your changes and write further comments about the changes. Confirm your pull request and give yourself a pat on the back for contributing to Open Source!
When should pull requests be required? : r/ExperiencedDevs - Reddit
Peer Review is the goal. Pull Requests are just the specific process currently used for it. How do you think that review was accomplished before GitHub became popular; with the Pull Request workflow, that was designed around the needs of Open Source projects, accepting anonymous contributions, and not teams formed within a company department?
Best GitHub pull request ever : r/programming - Reddit
Deleted the GitHub pull request that this thread relates to. Deleted his reddit account. Deleted most of the offending code. a ticket complaining about his stolen code. Neglected to pay the $1000 he owes me. I think I was on to something when I said that he was a code thief...
Open Pull requests at the start of your work? : r/github - Reddit
2021年9月6日 · Pull requests can be marked as WIP or Draft, so you know it’s not ready for review yet. I find that opening a pull request as soon as I start writing my code allows me to keep track of the changes I have made as I write them, using the Files Changed tab. You also get the full commit history against a pull request if it’s opened from the start.