[galaxy-dev] Report this error to the !Galaxy Team

For internal production instances, I'd much rather my users report an error/bug to our own internal ticketing system (and if something seems appropriate to feed to the Galaxy Team I can pass it along). I haven't looked at the guts of the error reporting form on the error page, but off hand does anyone know if it's readily possible to plug that into another bug tracking system? (ie does it just send an e-mail?)