On Thu, Nov 29, 2012 at 11:49 AM, Peter Gavin <[email protected]> wrote:
> On Thu, Nov 29, 2012 at 4:43 AM, Peter Gavin <[email protected]> wrote: > >> So I'll just delete the repo I just created and fork Linus' repo in its >> place so eventually I can push the changes there. >> > > Nevermind, it seems I can create new repos, but not delete them :/ > > Would a kind soul who has the permissions mind deleting it for me? I'll > worry about putting a new repo up later, once I've actually got some > changes to publish. > > > Done. But it's great news that other people than 'owners' actually can create repositories, I didn't think that was possible. That was the intention from the start, that anybody should be able to do that. Stefan
_______________________________________________ Linux mailing list [email protected] http://lists.openrisc.net/listinfo/linux
