Re: Repo name
| From: | Sara Golemon | Date: | Wed, 30 Jul 2014 20:33:51 +0000 |
| Subject: | Re: Repo name | ||
| References: | 1 2 3 4 5 6 | Groups: | php.standards |
| Request: | Send a blank email to standards-+get-142@lists.php.net to get a copy of this message | ||
On Wed, Jul 30, 2014 at 1:00 PM, Hannes Magnusson
<hannes.magnusson@gmail.com> wrote:
> I actually quite like it :)
> But now that the initial draft has been pushed and links are
> spreading... Is it still worth renaming?
>
> If anyone makes an executive decision here then.. I can delete the
> github repo and "move" it on git.php.net....
>
github has a mechanism for project admins to move repos and it
automatically redirects old links/checkouts to the new location
That said, it's still early days and we could rewrite most of those
links out there.
-Sara