Re: Grammar issues reporting
| From: | Andrea Faulds | Date: | Thu, 31 Jul 2014 17:53:15 +0000 |
| Subject: | Re: Grammar issues reporting | ||
| References: | 1 2 3 4 5 | Groups: | php.standards |
| Request: | Send a blank email to standards-+get-206@lists.php.net to get a copy of this message | ||
On 31 Jul 2014, at 18:48, Hannes Magnusson <hannes.magnusson@gmail.com> wrote:
> github is a mirror of the git.php.net repository, it is not the upstream repo.
> this "integration" you speak of likely means the issue referencing
> from commits to github issue tracker.
Yep, that’s nice.
> This will clearly make absolutely no sense when using the upstream
> repo on git.php.net as these issue number do not exist and do not
> autolink or close.
I don’t fully understand your objection. As GitHub just pulls from git.php.net, GitHub would
presumably still auto link and close. Obviously you don’t have that nice linkage on the
git.php.net viewer, but somehow I suspect more people use GitHub to browse the source than
git.php.net. I might be wrong, of course. Besides, the issue exists anyway as *GitHub* doesn’t
auto link bugs.php.net bugs.
Is this really a problem? I suppose we could hold an email vote or something on whether people would
rather use one or the other. (In which case, to avoid list spamming, perhaps one person could
collect the votes.)
--
Andrea Faulds
http://ajf.me/