26 Jan 2015 26 Jan '15
Jean Paul commented that for merged tickets I should remove the review tag.
I am lost between wiki pages and sphinx documentation.
Where is the place where these these steps are described and maybe I am also not aware of other steps required after a branch is merged?
Since the ticket is automatically closed, maybe the bot can also remove the review ticket.
-- Adi Roiban