[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: GitHub “pull request” is useful and can be easily integrated'’



 ❦ 19 avril 2015 19:00 +1000, Ben Finney <ben+debian@benfinney.id.au> :

>> The pull request exists on github, fine.
>
> How can a collaborator Alice, with no GitHub account, get the pull
> request?

Take a random PR:
 https://github.com/twbs/bootstrap/pull/16258

Append ".patch" to get the patch:
 curl https://github.com/twbs/bootstrap/pull/16258.patch | git am

Or you can also directly pull the URL:
 git fetch origin refs/pull/16258/head:pr/16258
 git checkout pr/16258

Or as one operation:
 git pull https://github.com/twbs/bootstrap refs/pull/16258/head:pr/16258

No GitHub account required.
-- 
The very ink with which all history is written is merely fluid prejudice.
		-- Mark Twain

Attachment: signature.asc
Description: PGP signature


Reply to: