mirror of
https://github.com/newren/git-filter-repo.git
synced 2024-06-03 10:55:20 +02:00
lint-history: Add --refs argument
Signed-off-by: Robert Haschke <rhaschke@techfak.uni-bielefeld.de>
This commit is contained in:
parent
f955eb7ba5
commit
3e153806ff
|
@ -95,6 +95,9 @@ parser.add_argument('--filenames-important', action='store_true',
|
|||
"random name. If the linting program needs to know the file "
|
||||
"basename to operate correctly (e.g. because it needs to know "
|
||||
"the file's extension), then pass this argument"))
|
||||
parser.add_argument('--refs', nargs='+',
|
||||
help=("Limit history rewriting to the specified refs. "
|
||||
"Implies --partial of git-filter-repo (and all its implications)."))
|
||||
parser.add_argument('command', nargs=argparse.REMAINDER,
|
||||
help=("Lint command to run, other than the filename at the end"))
|
||||
lint_args = parser.parse_args()
|
||||
|
@ -158,6 +161,7 @@ if lint_args.relevant:
|
|||
lint_args.filenames_important = True
|
||||
args = fr.FilteringOptions.default_options()
|
||||
args.force = True
|
||||
args.refs = lint_args.refs if lint_args.refs is not None else []
|
||||
if lint_args.filenames_important:
|
||||
tmpdir = tempfile.mkdtemp().encode()
|
||||
cat_file_process = subprocess.Popen(['git', 'cat-file', '--batch'],
|
||||
|
|
Loading…
Reference in New Issue
Block a user