A lightweight ticket manager for development teams