Bug 235299 - Improve git-webkit pr error message
Summary: Improve git-webkit pr error message
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-01-17 14:03 PST by Aakash Jain
Modified: 2022-01-19 11:49 PST (History)
2 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Aakash Jain 2022-01-17 14:03:33 PST
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'
Comment 1 Jonathan Bedard 2022-01-18 10:22:40 PST
(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.
Comment 2 Radar WebKit Bug Importer 2022-01-18 10:32:22 PST
<rdar://problem/87721181>
Comment 3 Jonathan Bedard 2022-01-18 10:34:56 PST
Pull-request: https://github.com/WebKit/WebKit/pull/76
Comment 4 Jonathan Bedard 2022-01-19 11:49:00 PST
Landed 246182@main (r288222)