10 Commits

Author	SHA1	Message	Date
Jocelyn FACCHINI	0d4167a296	Renamed user id to user-id and metioned bug for some commands	2019-03-23 18:07:27 +00:00
Michael Muré	2fd5f71b59	commands: add a "." at the end of Short commands usage	2019-03-01 22:52:52 +01:00
Michael Muré	e100ee9f10	github: fix 3 edge-case failures	2019-03-01 22:48:50 +01:00
Rafael Passos	f72b18496b	moved cleaner function to util/interrupt	2018-10-24 18:36:39 -03:00
Rafael Passos	c38f8f1c30	Registering lock clearing functions to Cleaner	2018-10-23 18:01:00 -03:00
Michael Muré	7a511f9a13	commands: don't load the repo for commands that don't need it ... fix #67	2018-10-17 20:39:35 +02:00
Michael Muré	18f5c1632f	commands: detect when an edit title doesn't change it and abort the operation	2018-09-26 16:28:57 +02:00
Michael Muré	cfce3a9914	commands: description cleanup	2018-09-21 13:37:22 +02:00
Michael Muré	544b9cc0c4	commands: convert compatible commands to the implicit select mechanism	2018-09-18 13:28:01 +02:00
Michael Muré	ae100e0e82	commands: add a title edit command	2018-09-16 01:17:06 +02:00