Ticket management for humans and coding agents - View it on GitHub