pull/531/merge
Vladislav Javadov 5 months ago committed by GitHub
commit 5942909c92
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.gitignore vendored

@ -3,3 +3,6 @@
/t/test-results
/t/trash directory*
/__pycache__/
.idea/
*.iml

@ -1985,6 +1985,8 @@ EXAMPLES
"--refname-callback options such that instead of replacing "
"old refs with new refnames, it will instead create new "
"refs and keep the old ones around. Use with caution."))
misc.add_argument('--no-gc', action='store_true',
help=_("Do not run 'git gc' after filtering."))
# WARNING: --refs presents a problem with become-degenerate pruning:
# * Excluding a commit also excludes its ancestors so when some other
# commit has an excluded ancestor as a parent we have no way of
@ -2214,7 +2216,7 @@ EXAMPLES
args.strip_blobs_with_ids = set()
if (args.partial or args.refs) and not args.replace_refs:
args.replace_refs = 'update-no-add'
args.repack = not (args.partial or args.refs)
args.repack = not (args.partial or args.refs or args.no_gc)
if args.refs or args.source or args.target:
args.partial = True
if not args.refs:

Loading…
Cancel
Save