diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-08-28 16:38:03 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-08-28 16:41:13 -0400 |
| commit | 69bfbd94004d193050e0fe0827f380bdd1ed5644 (patch) | |
| tree | c0eac16499b9cbc8920c140bd2e1a9bdfd09839b /Creds.hs | |
| parent | 0ffe5408ae1b396453f080bef2858542317daf23 (diff) | |
add forget command
Works, more or less. --dead is not implemented, and so far a new branch
is made, but keys no longer present anywhere are not scrubbed.
git annex sync fails to push the synced/git-annex branch after a forget,
because it's not a fast-forward of the existing synced branch. Could be
fixed by making git-annex sync use assistant-style sync branches.
Diffstat (limited to 'Creds.hs')
0 files changed, 0 insertions, 0 deletions