WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
REOPENED
242141
`git webkit pr` should log when it's pushing to my fork
https://bugs.webkit.org/show_bug.cgi?id=242141
Summary
`git webkit pr` should log when it's pushing to my fork
Simon Fraser (smfr)
Reported
2022-06-29 15:20:02 PDT
The slowest part of `git webkit pr`, if you haven't pushed a PR for a while, is updating the fork by pushing from my local repo, which can be slow on connections with slow upload. There's a --verbose log for this, but I think it should always log so I know what's causing the delay.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-06-29 15:22:53 PDT
<
rdar://problem/96171675
>
Simon Fraser (smfr)
Comment 2
2022-06-29 16:24:54 PDT
The last thing logged before the long delay is `Total errors found: 0 in 3 files`
Youssef Soliman
Comment 3
2022-07-15 09:18:26 PDT
*** This bug has been marked as a duplicate of
bug 242801
***
Youssef Soliman
Comment 4
2022-07-15 09:27:27 PDT
Un-duped since this bug has to do with logging while pushing.
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