[racket-dev] Migrating the bug database to GitHub

From: Eli Barzilay (eli at barzilay.org)
Date: Sat Mar 17 10:30:41 EDT 2012

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 <meunier at 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

Posted on the dev mailing list.