Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: pull requests for completion functions
- X-seq: zsh-workers 41999
- From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: pull requests for completion functions
- Date: Thu, 09 Nov 2017 17:32:37 +0000
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ntlworld.com;	s=meg.feb2017; t=1510248758;	bh=YwpE7NHHnvUJZmVSFMQkCH/49A9YPNEwJDGLGol6+g4=;	h=Date:In-Reply-To:References:Subject:To:From;	b=2R3sgq1ZCrLaWizrvbpEaRWzmgEfI++qUjljPffRRWgmV8PrY2bPMjiCLmz+0B8gL	 364ji55tT7MzEI2E4j7GMT68lFIrM+7co+1iewRG3PPLMsV8eTRaXhK41xd4Il7FSz	 j8Y4okHFLPX+ayMxMvTA3o8ntOEodMUXX2djCC5dLvsbqyNsecl5MeaeF5gag1Ei+v	 goROVA8/vtr5BVpbhAUrfyXnDyxVPHBx+Ld+9kTU8sHWS3GZ2CoWhJ7jmwxac9lOSk	 bb5UoAswwwDXFo9fKgEEod7/rvJMBlOb9sjcjvgfuEepfww2GnRunFS1qpQXoaHwD6	 XiUbzKBBGmoSw==
- In-reply-to: <31167.1510244459@thecus.kiddle.eu>
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- References: <31167.1510244459@thecus.kiddle.eu>
(Aplogies for fornatting, on my mobile.)
I've certainly got no objection to more flexible arrangements for completion functions if that works.
pws
On 9 November 2017 16:20:59 GMT+00:00, Oliver Kiddle <okiddle@xxxxxxxxxxx> wrote:
>I have tentatively added a short line to the bottom of the contributing
>section of the web pages to indicate that completions are acceptable in
>the form of pull/merge requests. The link is here:
>
>  http://zsh.sourceforge.net/Arc/git.html
>
>Can I take silence to mean that people were happy with my suggestion on
>this new policy? If not then please speak now, reverting the web page
>is
>easily done.
>
>My intended procedure for managing pull requests is as follows.
>
>First you need to add separate remote repositories:
>  git remote add gitlab https://gitlab.com/zsh-org/zsh.git
>  git remote add github https://github.com/zsh-users/zsh.git
>
>There's a variety of ways to fetch pull requests directly but I add a
>line
>in .git/config under each section:
>
>  under: [remote "gitlab"]
>add:       fetch =
>+refs/merge-requests/*/head:refs/remotes/gitlab/merge-requests/*
>  under: [remote "github"]
>  add:       fetch = +refs/pull/*:refs/remotes/github/pr/*
>
>Many projects use merges but, to keep things as consistent as possible
>with current practices, for now I would cherry-pick individual pull
>requests and amend the commit to add a ChangeLog entry and reference
>to the commit message. For ChangeLog entries and commit messages, the
>references might be something like "MR: #1". Or do we need to be more
>explicit, e.g. "github PR: #1"?
>
>Any comments or suggestions would be welcome.
>
>Oliver
-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author