a general issue tracker for real-time collaborative production