Thu, 04 Jul 2019 17:32:58 +0200 kevpeng evolve: further clarify that update is performed only when requested stable
Fri, 14 Jun 2019 22:46:58 +0530 Sushil khanchi touch: let's not use util.acceptintervention() as it's not required
Thu, 04 Jul 2019 16:55:57 +0200 Pierre-Yves David branching: merge with stable
Wed, 26 Jun 2019 21:11:25 +0530 Sushil khanchi evolve: use right value for branch name when finding branch heads
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip