242141 2022-06-29 15:20:02 -0700 `git webkit pr` should log when it's pushing to my fork 2022-07-15 09:27:27 -0700 1 1 1 Unclassified WebKit Tools / Tests Safari Technology Preview Unspecified Unspecified REOPENED InRadar P2 Normal --- 239082 1 simon.fraser webkit-unassigned ap jbedard simon.fraser webkit-bug-importer y_soliman oldest_to_newest 1879141 0 simon.fraser 2022-06-29 15:20:02 -0700 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. 1879144 1 webkit-bug-importer 2022-06-29 15:22:53 -0700 <rdar://problem/96171675> 1879170 2 simon.fraser 2022-06-29 16:24:54 -0700 The last thing logged before the long delay is `Total errors found: 0 in 3 files` 1884052 3 y_soliman 2022-07-15 09:18:26 -0700 *** This bug has been marked as a duplicate of bug 242801 *** 1884062 4 y_soliman 2022-07-15 09:27:27 -0700 Un-duped since this bug has to do with logging while pushing.