Files
Bernd Ahlers 72b8cd19d8 Support PR HTTP URLs for the --pull-requests option of checkout
This makes it possible to use a full HTTP URL to a pull request.
2020-12-17 13:18:35 +01:00
..
2019-07-20 10:51:02 +02:00
2019-07-20 10:51:02 +02:00