WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
235299
Improve git-webkit pr error message
https://bugs.webkit.org/show_bug.cgi?id=235299
Summary
Improve git-webkit pr error message
Aakash Jain
Reported
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'
Attachments
Add attachment
proposed patch, testcase, etc.
Jonathan Bedard
Comment 1
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.
Radar WebKit Bug Importer
Comment 2
2022-01-18 10:32:22 PST
<
rdar://problem/87721181
>
Jonathan Bedard
Comment 3
2022-01-18 10:34:56 PST
Pull-request:
https://github.com/WebKit/WebKit/pull/76
Jonathan Bedard
Comment 4
2022-01-19 11:49:00 PST
Landed
246182@main
(
r288222
)
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