[racket-dev] Migrating the bug database to GitHub

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