Norwin 3abc5a5b42 Allow checking out PRs with deleted head branch (#341) ...

..by explicitly fetching `refs/pulls/:idx/head` from the base repo.

Sorry, I mixed this with a split-up of `PullCheckout()`. I can try to separate that, if preferred

Co-authored-by: Norwin Roosen <git@nroo.de>
Co-authored-by: 6543 <6543@obermui.de>
Reviewed-on: https://gitea.com/gitea/tea/pulls/341
Reviewed-by: 6543 <6543@obermui.de>
Reviewed-by: Andrew Thornton <art27@cantab.net>
Co-authored-by: Norwin <noerw@noreply.gitea.io>
Co-committed-by: Norwin <noerw@noreply.gitea.io>

2021-03-12 02:16:02 +08:00

..

config

replace flag globals, require context for commands (#291)

2020-12-16 01:38:22 +08:00

context

Don't exit if we can't find a local repo with a remote matching to a login (#336)

2021-03-05 16:56:15 +08:00

git

don't push before creating a pull (#334)

2021-03-05 18:27:09 +08:00

interact

Add more issue / pr creation params (#331)

2021-03-08 19:48:03 +08:00

print

Improve tea time (#319)

2020-12-23 12:58:36 +08:00

task

Allow checking out PRs with deleted head branch (#341)

2021-03-12 02:16:02 +08:00

utils

Add more issue / pr creation params (#331)

2021-03-08 19:48:03 +08:00

workaround

Introduce workaround for missing pull head sha (#340)

2021-03-08 03:45:50 +08:00