No, these bugs will be posted through the same script that is running on the server now. This is also needed so that previous DrRacket versions will be able to post bugs.
On Mar 17, 2012, at 9:48 AM, Philippe Meunier <meun...@ccs.neu.edu> wrote: > Sam Tobin-Hochstadt wrote: >> 1. You'll be able to enter a GitHub username and password in DrRacket to >> post bugs as your GitHub user. For people who don't do this (mostly >> for people who don't have a GitHub account), the bug will be >> submitted using a GitHub account that is specifically set up for this >> purpose. > > So the username and password for that special GitHub account will be > hard-coded in DrRacket? Won't users (and potentially spammers) be > able to use that username and password to mess with the bug database > then? > > Philippe > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
