Re: Development suggestions from an ENSIME developer

[Christian Kruse]

Stefan Monnier <address@hidden> writes:

> Hopefully a pull-request can appear as a Git branch, so the maintainer
> who can't or doesn't want to use a browser can use "git diff/merge" and
> such to view and accept a pull-request.

Pull requests are just sugar around remotes. So to use `git diff` et all
you need to add a new remote and fetch it; as soon as this is done you
can work with git on it as usual:

git remote add foo ssh://foo/bar
git fetch foo
git diff master foo/master`


Best regards,
-- 
Christian Kruse
https://wwwtech.de/about

signature.asc
Description: PGP signature