WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
241161
[git-webkit] Append -- to `git log` commands
https://bugs.webkit.org/show_bug.cgi?id=241161
Summary
[git-webkit] Append -- to `git log` commands
Jonathan Bedard
Reported
2022-05-31 16:24:44 PDT
Something like `git log HEAD` is ambiguous if there is a file in the current directory named 'HEAD'. Appending '--' onto the `git log` command will ignore local files.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-05-31 16:26:30 PDT
<
rdar://problem/94185199
>
Jonathan Bedard
Comment 2
2022-05-31 16:28:40 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/1195
EWS
Comment 3
2022-06-01 10:41:49 PDT
Committed
r295096
(
251191@main
): <
https://commits.webkit.org/251191@main
> Reviewed commits have been landed. Closing PR #1195 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug