26 Jan
2015
26 Jan
'15
7:12 p.m.
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. Thanks! -- Adi Roiban