PR #278 Handle `--revision refs/pr/2` better.

Handle `--revision refs/pr/2` better. #278

OlivierDehaene merged 1 commit into main from handle_revision

Handle `--revision refs/pr/2` better.

e5e66baa

OlivierDehaene approved these changes on 2023-05-04

OlivierDehaene merged b4fe248b into main 2 years ago

OlivierDehaene deleted the handle_revision branch 2 years ago

Reviewers

OlivierDehaene

Assignees

No one assigned

Labels

None yet

Milestone

No milestone