| === JanC is now known as Guest33791 | ||
| === JanC_ is now known as JanC | ||
| === PatrizioQON is now known as pbek | ||
| === kaffoman is now known as benjaoming | ||
| === JanC is now known as Guest40946 | ||
| === JanC_ is now known as JanC | ||
| 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:27 |
|---|---|---|
| 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? | 15:28 |
| === nacc_ is now known as nacc | ||
| cjwatson | skay: Will need a link to the repository in question. In general to create a new repository you just push it. | 21:14 |
| 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:26 |
| dobey | skay: don't push to ~skay/+git/project, pusth to ~skay/project/repository-name | 21:27 |
| cjwatson | skay: Can I get back to you tomorrow? internet v slow just now and I'm on leave | 21:34 |
| 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 | 21:35 |
| mwhudson | hey, i'm trying to request some recipe builds but it's just timing out | 23:04 |
| mwhudson | something known? | 23:04 |
| === JanC_ is now known as JanC | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!