7 Commits

Author	SHA1	Message	Date
Jocelyn FACCHINI	146b6b8599	Select and Label command documentation ... - Informed that label command adds/removes a label to a given bug. - Added suggestion to use select command when omitting to provide a bug id as argument. - Added a bit more detail for the select command documentation, giving a hint to "deselect" command.	2019-03-23 16:59:40 +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é	a122d533f6	commands: cleanup file name	2018-09-24 15:20:19 +02:00