Re: Repo name

On Wed, Jul 30, 2014 at 1:33 PM, Sara Golemon <pollita@php.net> wrote: > 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. Ok. Lets see if somethings breaks. I renamed the github repo to php-langspec, change the global_karma, created the repo gitolite and pushed the previous php-spec to php-langspec. We'll see on next push if the github syncronization still works :) The upstream is now: http://git.php.net/?p=php-langspec.git;a=summary -Hannes