Ok, done.
Assuming Davide renames his own repo too, remember to run:
git remote set-url sanne git@github.com:Sanne/ci.hibernate.org.git
git remote set-url davide git@github.com:DavideD/ci.hibernate.org.git
git remote set-url upstream git@github.com:hibernate/ci.hibernate.org.git
+ your own in case you had it already.
On 4 April 2013 08:56, Emmanuel Bernard <emmanuel(a)hibernate.org> wrote:
On 3 avr. 2013, at 21:14, Hardy Ferentschik <hardy(a)hibernate.org> wrote:
>
> On 3 Apr 2013, at 20:34, Sanne Grinovero <sanne(a)hibernate.org> wrote:
>
>> Thinking about the domain name, would you prefer
>> - hibernate-ci
>> -
ci.hibernate.org
>
> +1 for
ci.hibernate.org. I also like that it not reflect Jenkins in its
name.
I like it too and it seems the norm for other projects I have seen.