Fri, 08 May 2020 04:02:22 +0200 | Pierre-Yves David | evolve: rename `evolve_source_*` to `divergence_source_*` | file | diff | annotate |
Thu, 30 Apr 2020 10:05:14 -0700 | Martin von Zweigbergk | evolve: always create commit when resolving divergence | file | diff | annotate |