toolchain specifier: we don't need the master# / try# prefix any more

[RalfJung]

It was already ignored everywhere except for pretty-printing.

[Skgland]

Crater is showing 500 internal server error?
Could it be that it is trying (and failing) to parse existing experiments still using the old syntax?

[RalfJung]

I assumed the parser was only used for bot commands and the database uses a structural representation. But I didn't actually check, I don't know crater that well...

[RalfJung]

Oh yeah you are right, the database records get parsed here:

crater/src/experiments.rs

Line 709 in aa5a2e0

toolchains: [self.toolchain_start.parse()?, self.toolchain_end.parse()?],