Allow checking out PRs with deleted head branch #341

Merged
zeripath merged 3 commits from noerw/tea:refactor-checkout into master 2021-03-11 18:16:04 +00:00

3 Commits

Author SHA1 Message Date
323116192d Merge branch 'master' into refactor-checkout
All checks were successful
continuous-integration/drone/pr Build is passing
2021-03-08 19:51:00 +08:00
86be9b493a
Merge branch 'master' into refactor-checkout
All checks were successful
continuous-integration/drone/pr Build is passing
2021-03-07 21:05:05 +01:00
9684c3225c
refactor task.PullCheckout()
split up that big function, not sure if it helps with readability

change in behaviour: now also allows checking out a PR whose head branch
was deleted already.
2021-03-07 15:44:18 +01:00