Wed, 23 May 2018 12:16:24 +0200 | Denis Laxalde | topic: suggest to clear a topic that becomes empty | file | diff | annotate |
Wed, 23 May 2018 11:37:37 +0200 | Denis Laxalde | topic: display a hint pointing at help when a topic becomes non-empty | file | diff | annotate |
Tue, 14 Nov 2017 21:05:59 +0100 | Pierre-Yves David | topic: fix new head detection when using --publish on a topic | file | diff | annotate |
Wed, 01 Nov 2017 16:23:13 +0100 | Pierre-Yves David | push: add a --publish flag | file | diff | annotate |