Commit Graph

6 Commits

Author SHA1 Message Date
Michael Muré
2fd5f71b59
commands: add a "." at the end of Short commands usage 2019-03-01 22:52:52 +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é
64133ee5ba
github: deal with the deleted user case where github return a null actor 2018-10-06 11:55:16 +02:00
Michael Muré
2282cbb595
commands: add "bridge pull" 2018-09-24 17:11:50 +02:00