@dshafik That's what the other side of GitTip is for. :-)