On Wed, Jul 15, 2015 at 12:06 AM, Ian Jackson wrote: > Antonio Terceiro writes ("Re: GitHub “pull request ” is proprietary, incompatible with Git ‘requ est-pull ’"): I'd suggest that this thread should move to the git mailing list and perhaps the lists of mercurial/bzr/etc. -- bye, pabs https://wiki.debian.org/PaulWise