eclipse - do we get all (i.e. open / closed / merged) pull heads while doing a fetch with * configuration -


while checking out github pull heads through * fetch configuration retrieved list of pull heads in form of ref/pull/* or similar.

are these pointing open , closed or pull requests ? , pull requests have been merged , closed ?

depends on git version have installed.

it true prior git v2.0 build changed match simple

v2. release notes:

when "git push [$there]" not push, have used traditional "matching" semantics far (all branches sent remote long there branches of same name on there). in git 2.0, default "simple" semantics, pushes:

  • only current branch branch same name, , when current branch set integrate remote branch, if pushing same remote fetch from; or

  • only current branch branch same name, if pushing remote not fetch from.

you can use configuration variable "push.default" change this. if old-timer wants keep using "matching" semantics, can set variable "matching", example. read documentation other possibilities.


how push configuration related pull request?

git hub store pull request using refspec means behave other branch exception instead of begin placed under /refs/heads/* stored under /refs/heads/<pulls (you can change path- see below)>/*.

so summarize it:
github pull reqauests behave same way normal refs, depending on configuration. if did changed , using git<2 full list of pull request, if changed settings or using git>2 should partial of pull requests.

example:

[remote "origin"]     fetch = +refs/heads/*:refs/remotes/origin/*     url = git@github.com:xxx/xxxx.git     fetch = +refs/pull/*/head:refs/remotes/origin/pr/* 

fetch pull requests: (the pr folder 1 u defined above)

$ git fetch origin github.com:xxx/xxx * [new ref]         refs/pull/<id1>/head -> origin/pr/<id1> * [new ref]         refs/pull/<id2>/head -> origin/pr/<id2> 

...


Comments

Popular posts from this blog

angularjs - ADAL JS Angular- WebAPI add a new role claim to the token -

php - CakePHP HttpSockets send array of paramms -

node.js - Using Node without global install -