[galaxy-dev] Galaxy and Google Summer of Code 2019