[08:12] hey, can I push a revision which is tagged without pushing the tag too? [08:13] Conceptually, sure. UI-wise, I don't think so. [08:14] You could do stupid-dances with things like deleting the tag, pushing, and reapplying it. [08:24] Yeah, thought so ... [10:52] Laney: the API will allow you to do that, but the UI won't [12:18] jelmer: ah well [12:18] hi, btw! [20:52] http://i.imgur.com/PtfK5y5.png :-/ === mark06 is now known as mark06_away