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. -Pete
_______________________________________________ Linux mailing list [email protected] http://lists.openrisc.net/listinfo/linux
