Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

git: differentiate empty repo and branch not found #5326

Merged
merged 4 commits into from
Mar 11, 2023

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Oct 21, 2022

Need more testing on distant repos
fix #5324

@rjbou rjbou added KIND: BUG AREA: UI PR: WIP Not for merge at this stage labels Oct 21, 2022
@kit-ty-kate kit-ty-kate changed the title git: differentiate empty repo and branch note found git: differentiate empty repo and branch not found Oct 21, 2022
@rjbou
Copy link
Collaborator Author

rjbou commented Feb 15, 2023

checked on distant repo ✔️

@rjbou rjbou removed the PR: WIP Not for merge at this stage label Feb 15, 2023
@rjbou rjbou added this to the 2.2.0~alpha milestone Feb 15, 2023
@rjbou rjbou added this to PR in progress in Opam 2.2.0 via automation Feb 15, 2023
Copy link
Member

@dra27 dra27 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@dra27 dra27 merged commit c8d7c19 into ocaml:master Mar 11, 2023
Opam 2.2.0 automation moved this from PR in progress to Done Mar 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Opam 2.2.0
  
Done
Development

Successfully merging this pull request may close these issues.

Misleading error message when creating a pin on non existent branch
3 participants