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.