235299 2022-01-17 14:03:33 -0800 Improve git-webkit pr error message 2022-01-19 11:49:00 -0800 1 1 1 Unclassified WebKit Tools / Tests WebKit Nightly Build Unspecified Unspecified RESOLVED FIXED InRadar P2 Normal --- 1 aakash_jain jbedard aakash_jain webkit-bug-importer oldest_to_newest 1831562 0 aakash_jain 2022-01-17 14:03:33 -0800 Below is the error message which I got when 'git-webkit pr' failed. This isn't very informative and doesn't clearly tell what is the problem. There are couple of things which can be improved in it. e.g.: it should list the name of the repository which wasn't found, it should list the fork (e.g.: git@github.com:username/WebKit.git). It can even suggest to re-run 'git-webkit setup' assuming that can potentially fix the problem (See Bug 235297 and Bug 235298). [WebKit]$git-webkit pr From github.com:WebKit/WebKit * branch main -> FETCH_HEAD Current branch eng/235296 is up to date. ERROR: Repository not found. fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. Failed to push 'eng/235296' to 'fork' 1831722 1 jbedard 2022-01-18 10:22:40 -0800 (In reply to Aakash Jain from comment #0) > Below is the error message which I got when 'git-webkit pr' failed. This > isn't very informative and doesn't clearly tell what is the problem. There > are couple of things which can be improved in it. e.g.: it should list the > name of the repository which wasn't found, it should list the fork (e.g.: > git@github.com:username/WebKit.git). It can even suggest to re-run > 'git-webkit setup' assuming that can potentially fix the problem (See Bug > 235297 and Bug 235298). > > > [WebKit]$git-webkit pr > From github.com:WebKit/WebKit > * branch main -> FETCH_HEAD > Current branch eng/235296 is up to date. > ERROR: Repository not found. > fatal: Could not read from remote repository. > > Please make sure you have the correct access rights > and the repository exists. > Failed to push 'eng/235296' to 'fork' Kicker here is that other than the final error message, those are actually coming directly from `git`, not `git-webkit` script. So we can't easily change them. But we can give some resolution advice. 1831725 2 webkit-bug-importer 2022-01-18 10:32:22 -0800 <rdar://problem/87721181> 1831726 3 jbedard 2022-01-18 10:34:56 -0800 Pull-request: https://github.com/WebKit/WebKit/pull/76 1832117 4 jbedard 2022-01-19 11:49:00 -0800 Landed 246182@main (r288222)