add git gc command

This commit is contained in:
0xLogN 2022-04-29 18:34:11 -07:00
parent 9d76f28ed9
commit 1e1c3a46e6
No known key found for this signature in database
GPG key ID: 0D6D73BF275230F5
2 changed files with 10 additions and 2 deletions

View file

@ -208,6 +208,14 @@ var commandConfig = {
}
},
gc: {
displayName: 'gc',
regex: /^git +gc($|\s)/,
execute: function(engine, command) {
engine.pruneTree(false);
}
},
pull: {
regex: /^git +pull($|\s)/,
options: [