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