mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-24 02:04:04 +08:00
for proper type annotation of query results. Also: - Drop unused code from `lib/tool_shed/webapp/controllers/user.py` - Drop Galaxy model code from `lib/tool_shed/util/admin_util.py:Admin.purge_user()`