Tue, 23 Apr 2019 09:45:45 -0700 | Martin von Zweigbergk | evolve: _solveunstable() update progress only once | changeset | files |
Tue, 23 Apr 2019 09:35:34 -0700 | Martin von Zweigbergk | evolve: don't update progress just before clearing it | changeset | files |
Tue, 23 Apr 2019 09:31:32 -0700 | Martin von Zweigbergk | evolve: clean up progress bar also when using -r | changeset | files |
Tue, 23 Apr 2019 10:20:03 -0700 | Martin von Zweigbergk | tests: add some basic testing of progress | changeset | files |
Fri, 19 Apr 2019 10:03:39 -0700 | Martin von Zweigbergk | evolve: increment progress *after* a whole merge commit is done | changeset | files |
Fri, 19 Apr 2019 11:02:35 -0700 | Martin von Zweigbergk | evolve: use util.acceptintervention() for closing transactions | changeset | files |
Fri, 19 Apr 2019 10:32:32 -0700 | Martin von Zweigbergk | evolve: use context manager for transactions | changeset | files |