Fri, 23 Mar 2018 17:49:26 +0530 | Pulkit Goyal | evolve: make sure bookmarks are moved after phase-divergence resolution | changeset | files |
Fri, 23 Mar 2018 17:46:46 +0530 | Pulkit Goyal | evolve: use the new rebased changeset to resolve phase-divergence | changeset | files |
Fri, 23 Mar 2018 17:21:09 +0530 | Pulkit Goyal | evolvecmd: add a detailed comment and some newlines | changeset | files |