Re: Request to take ownership of a project's name
Thanks! On Friday, Lucas Bergman wrote: I've added you as an owner. Happy hacking! -- Lucas On Fri, Jul 13, 2012 at 4:53 PM, Eli Barzilay e...@barzilay.org wrote: Hi, I'm part of a group who is working on a programming language called Racket (racket-lang.org). This is a very established open source project that has been going on since the mid-90s. We have a google code project called racket-lang that mirrors our repository. We would like to use racket which is currently used by a project that looks dead for all practical purpose: the last commits in that project are from early 2008, where the owner delted the source tree completely with commit messages that say bye. I have tried to contact the only owner at jhart...@gmail.com and ask about taking over the name, and got a reply from the mail server saying that this username no longer exists: | - The following addresses had permanent fatal errors - | jhart...@gmail.com | (reason: 550-5.1.1 The email account that you tried to reach does not exist. Please try) Thanks, -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! -- You received this message because you are subscribed to the Google Groups Project Hosting on Google Code group. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/ google-code-hosting?hl=en. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! -- You received this message because you are subscribed to the Google Groups Project Hosting on Google Code group. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en.
Request to take ownership of a project's name
Hi, I'm part of a group who is working on a programming language called Racket (racket-lang.org). This is a very established open source project that has been going on since the mid-90s. We have a google code project called racket-lang that mirrors our repository. We would like to use racket which is currently used by a project that looks dead for all practical purpose: the last commits in that project are from early 2008, where the owner delted the source tree completely with commit messages that say bye. I have tried to contact the only owner at jhart...@gmail.com and ask about taking over the name, and got a reply from the mail server saying that this username no longer exists: |- The following addresses had permanent fatal errors - | jhart...@gmail.com | (reason: 550-5.1.1 The email account that you tried to reach does not exist. Please try) Thanks, -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! -- You received this message because you are subscribed to the Google Groups Project Hosting on Google Code group. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en.
Re: Request to take ownership of a project's name
I've added you as an owner. Happy hacking! -- Lucas On Fri, Jul 13, 2012 at 4:53 PM, Eli Barzilay e...@barzilay.org wrote: Hi, I'm part of a group who is working on a programming language called Racket (racket-lang.org). This is a very established open source project that has been going on since the mid-90s. We have a google code project called racket-lang that mirrors our repository. We would like to use racket which is currently used by a project that looks dead for all practical purpose: the last commits in that project are from early 2008, where the owner delted the source tree completely with commit messages that say bye. I have tried to contact the only owner at jhart...@gmail.com and ask about taking over the name, and got a reply from the mail server saying that this username no longer exists: |- The following addresses had permanent fatal errors - | jhart...@gmail.com | (reason: 550-5.1.1 The email account that you tried to reach does not exist. Please try) Thanks, -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! -- You received this message because you are subscribed to the Google Groups Project Hosting on Google Code group. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en. -- You received this message because you are subscribed to the Google Groups Project Hosting on Google Code group. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en.
