Mon, 23 Nov 2020 12:42:57 -0800 | Martin von Zweigbergk | errors: remove trailing "!" in messages about creating new heads on push | changeset | files |
Mon, 23 Nov 2020 12:31:53 -0800 | Martin von Zweigbergk | errors: consistently don't use trailing "!" in "not found in manifest" message | changeset | files |