On Sun, Aug 5, 2012 at 9:52 PM, Aaron Meurer <[email protected]> wrote: > I personally just add everybody who sends a pull request as a remote. > What I would really like is an easier way to add a remote from a > github clone url (or maybe even a pull request url). So I could just > do something like > > github-remote-add https://github.com/sympy/sympy/pull/1462 > > and it would run > > git remote add smichr git://github.com/smichr/sympy.git > > and maybe even a > > git fetch smichr > > and optionally > > git checkout smichr/combsimp > > And also it should work the same way if I use > git://github.com/smichr/sympy.git or > https://github.com/splitbrain/git-pull-request.git instead of > https://github.com/sympy/sympy/pull/1462. > > But it would just be a one-time thing, to make it easier to add the > remote. After that, I'm just fine with git fetch.
The way I see it, when I want to test a pull request on my computer, all I have is the PR web interface. There are the following problems: 1) Not easy to setup the remote (which exact url), one has to copy & paste with a mouse, or write it up by hand, it's slow and it's a mess. 2) You have to remember which branch is actually used for the PR, or copy & paste it. Overall, it's quite a few commands and hand copy & pasting. Most of the time, all I want is just this one PR. So for me the script works excellent. Aaron, if all you want is 1), then it shouldn't be difficult to create a simple Python script (adapt the above) to be used like: git remote-add PR_NUMBER it would connect to github, extract the right url and set the remote. And print the name of the branch to checkout. You can then check it out manually. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
