mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-21 05:45:37 +08:00
mvdbeek
acf0013cf6
validate_email, validate_password and validate_publicname are shared with the tool shed, which has its own context hierarchy, its own app and its own User class. They named Galaxy's ProvidesAppContext, so every shed call silenced the mismatch with a type: ignore. They reach for a session and an app, and both hierarchies offer those, so state that as a protocol and let each side satisfy it structurally. The shed calls type-check now without suppressions, and neither hierarchy has to learn about the other.