pull-request

What is difference between Reviewers and Assignees on GitHub?

有些话、适合烂在心里 提交于 2019-12-04 00:30:24
When I create pull request, I can see two options as Reviewers and Assignees . What is difference between those? I think this is from any of last version of github. Reviewers and assignees are a tool for organizing who is working on what pull request and issue. They don't confer any extra permissions. Reviewers are people you are specifically requesting to review your pull request. From the docs ... Pull request authors and repository owners and collaborators can request a pull request review from anyone with write access to the repository. The requested reviewer will receive a notification

git request-pull: how to create a (github) pull request on the command line?

▼魔方 西西 提交于 2019-12-04 00:10:01
问题 I've cloned a project, and pushed a branch with just a renamed readme file to README. I am trying to create a pull-request on the command line, just to try PR from here instead of a website. $ git request-pull origin/master origin readme:readme The following changes since commit 51320a3a42f82ba83cd7919d24ac4aa5c4c99ac6: first commit message are available in the git repository at: git@github.com:example/com:example.git readme for you to fetch changes up to

How to resume review process after updating pull request at GitHub?

倖福魔咒の 提交于 2019-12-03 22:56:04
I forked github repository and created pull request. Reviewer requested changes from me: I've committed and pushed necessary changes in pull request branch, so they are displaying at pull request page. Now I want ask contributor to continue review my changes. Is there any button or action for this? Can't find this. 2 years and a half years later, (February 2019), do check if the new button "Re-request review" would help. As illustrated on twitter , if your PR was already reviewed, but now it’s time for round 2: With fresh eyes and fresh code, re-request a review 🔃 Note/caveat: (from "

Fix “unknown repository” of an opened PR after deleted the fork

放肆的年华 提交于 2019-12-03 16:58:43
问题 I have the following scenario: Created a fork of a github repository Submitted a pull request (still opened) Deleted the fork Now, when I browse the opened PR on github, the repositories section says "unknown repository". I want to revert my fork in order to make this section displaying its name. My first idea was to re fork the upstream repository, rebase it properly (thank's to this one) and pray for that github automatically re-fill the correct name in the PR. Unfortunately, nothing

Merging pull requests together

江枫思渺然 提交于 2019-12-03 10:43:36
Someone has submitted a set of pull requests to my repository on github. Unfortunately they've done this in several pull requests (one for each file) rather than submitting all the pull request for all the files in one go. After requesting him to merge them as one - and not getting any response I'm now trying to merge these pull requests together myself in the Git Bash - but having little luck - I'm quite happy using the merge buttons and making commits through the GitHub program on windows but little more. I have no real understanding of the git shell - so if someone could go through the

Compare old and new versions of force-pushed GitHub pull request

孤者浪人 提交于 2019-12-03 08:31:15
问题 Frequently, my colleagues will make some changes to an open pull request, rebase their local branch against the base branch - often squashing their changes into previous commits as well - and force-push. How can I see what changed between the old version of the PR and the new version of the PR? I guess I could do a git pull and git checkout $BRANCH_NAME when the PR was first raised, then git fetch and then git diff $BRANCH_NAME..origin/$BRANCH_NAME after the PR was updated - but that will

Fix “unknown repository” of an opened PR after deleted the fork

只谈情不闲聊 提交于 2019-12-03 05:59:16
I have the following scenario: Created a fork of a github repository Submitted a pull request (still opened) Deleted the fork Now, when I browse the opened PR on github, the repositories section says "unknown repository". I want to revert my fork in order to make this section displaying its name. My first idea was to re fork the upstream repository, rebase it properly (thank's to this one ) and pray for that github automatically re-fill the correct name in the PR. Unfortunately, nothing happened. How can I achieve this ? Should I contact support ? Tracysss Unfortunately it looks like your pull

Set the develop branch as the default for a pull request

╄→гoц情女王★ 提交于 2019-12-03 04:54:34
问题 I want to make the pull request merge into develop from the feature branch by default. I'm advocating the use of git flow, so when a pull request is submitted for a feature, the pull request needs to get merged into develop, and not master. Some of the managers commented that being human, there is a possibility that the team leads could overlook that fact and merge the pull request into master by mistake, causing issues with the release later on. We want to mitigate the risks of merge hell so

Create a GitHub webhook for when a pull request is accepted & merged to master

血红的双手。 提交于 2019-12-03 03:31:04
问题 I have a webhook that currently fires on push to any branch. This triggers the webhook far too frequently. Ideally, the webhook would only fire when a pull request is merged into master . I don't see that as an option, though: Is there a way to get additional webhook options or to customize the webhook somehow? 回答1: So, you can't customize the conditions of the trigger, but as LeGec mentions you can customize your code to only trigger when the Pull Request is merged. To do that, make sure

How do I merge a pull request on someone else's project in git?

时间秒杀一切 提交于 2019-12-03 02:16:12
问题 I cloned this repo on my computer: https://github.com/derobins/wmd.git There are several bugs with it though, and it looks like another user has fixed them and issued "Pull requests" (I assume these are requests for their changes to be committed?) Is it possible to merge those changes into my local version? EDIT: just to be clear, this is not my repository. I am using the WMD editor from derobins, but it has several bugs which those pull requests purport to fix. I have cloned the repo on