[Top][All Lists]

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

Re: Development suggestions from an ENSIME developer

From: Christian Kruse
Subject: Re: Development suggestions from an ENSIME developer
Date: Thu, 21 Jul 2016 23:26:43 +0200
User-agent: Notmuch/0.22 (https://notmuchmail.org) Emacs/24.5.1 (x86_64-unknown-linux-gnu)

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

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]