Commit graph

6 commits

Author SHA1 Message Date
b8dc0c68b7 Add documentation for the push command 2014-03-04 21:41:30 +01:00
3c831f9381 Allow a name to be used to remove a repository
Allow users to specify a name instead of a path to remove a repository
from the repository list. Paths may also still be used.
2014-03-04 00:06:51 +01:00
d1245a3d7f Add docs about new parameters 2013-11-11 00:12:06 +01:00
b1a2359036 Only show branches with changes by default
Unless `show-unchanged-branches?' has been set to `#t' in the user's
configuration only branches with pushable or pullable commits are shown.
2013-06-07 22:34:27 +02:00
e027f3c7e6 Add clean make target 2013-05-27 22:40:37 +02:00
7f6037855d Add user manual 2013-05-27 22:30:00 +02:00