Tickets and merge requests goffi 04/06/2018, 07:06 Well, with Microsoft buying Github, it's a good time to recall the tickets and merge-requests features, cf. https://www.goffi.org/b/9555cc02-6a87-4b6b-af85-20f1c0736722/xmpp-based-tickets-merge-requests-with If you have comments, ideas or suggestions, here is a good place to talk about it.