Pillar: P0 Trust. Follow-up to #682 (accounts), from its security review.
SSH sessions now end when an account is suspended or removed. Still open afterwards: the account's browser event streams and app websockets (until they close by themselves), and possibly a git push already under way.
[ ] suspension or removal closes the account's SSE streams and app websockets
[ ] confirm, with a test, that session.exit cuts a git push in progress instead of letting it finish
Pillar: P0 Trust. Follow-up to #682 (accounts), from its security review.
SSH sessions now end when an account is suspended or removed. Still open afterwards: the account's browser event streams and app websockets (until they close by themselves), and possibly a git push already under way.
session.exitcuts a git push in progress instead of letting it finish