diff options
author | Joey Hess <joey@kitenet.net> | 2012-06-04 20:41:22 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-06-04 20:41:22 -0400 |
commit | 7a6fb8ae4e455ea311213da50cc5e8cd6d5667b2 (patch) | |
tree | 7b4f8545b70fe8e18fa0eabbd7542fdf397eac7b /Command/DropKey.hs | |
parent | bd7857d903a602bc5f1d5e01f0b936bb5b41b5c6 (diff) |
flush the git queue when a new type of action is being added to it
This allows the queue to be used in a single process for multiple possibly
conflicting commands, like add and rm, without running them out of order.
This assumes that running the same git subcommand with different parameters
cannot itself conflict.
Diffstat (limited to 'Command/DropKey.hs')
0 files changed, 0 insertions, 0 deletions