Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: pull requests for completion functions

(Aplogies for fornatting, on my mobile.)

I've certainly got no objection to more flexible arrangements for completion functions if that works.


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
>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
>in .git/config under each section:
>  under: [remote "gitlab"]
>add:       fetch =
>  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.

Sent from my Android device with K-9 Mail. Please excuse my brevity.

Messages sorted by: Reverse Date, Date, Thread, Author