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