[15:27] <skay> I wanted to great a new git repo under a project (which had no git repos until now) and inadvertently created a git repo with the wrong name.
[15:28] <skay> when I used the web ui to change details, and changed the name, it didn't seem to actually change anything
[15:28] <skay> at this point, should I just delete the repo and start over?
[15:28] <skay> it wasn't clear to me how to add a new repo to a project
[15:28] <skay> cjwatson: do you have advice?
[21:14] <cjwatson> skay: Will need a link to the repository in question.  In general to create a new repository you just push it.
[21:26] <skay> cjwatson: thanks, sent you a private /msg with the link.
[21:26] <skay> in general I can create repos for my personal user, but I am not sure how to do that for a project
[21:26] <skay> I screwed up when I tried to use the web ui
[21:27] <dobey> skay: don't push to ~skay/+git/project, pusth to ~skay/project/repository-name
[21:34] <cjwatson> skay: Can I get back to you tomorrow?  internet v slow just now and I'm on leave
[21:35] <skay> cjwatson: I did not realize you are on leave. totally do not worry. I don't want to talk to you while you are on leave
[21:35] <skay> cjwatson: take care and enjoy
[23:04] <mwhudson> hey, i'm trying to request some recipe builds but it's just timing out
[23:04] <mwhudson> something known?