[galaxy-dev] delete a galaxy user