don't push before creating a pull #334

Merged
6543 merged 3 commits from noerw/tea:fix-333-pr-create-push into master 2021-03-05 10:27:10 +00:00

3 Commits

Author SHA1 Message Date
1bf61a369e Merge branch 'master' into fix-333-pr-create-push
All checks were successful
continuous-integration/drone/pr Build is passing
2021-03-05 18:07:09 +08:00
0520efa9d5 Merge branch 'master' into fix-333-pr-create-push
All checks were successful
continuous-integration/drone/pr Build is passing
2021-03-05 16:57:55 +08:00
5df68437ba
don't push before creating a pull
All checks were successful
continuous-integration/drone/pr Build is passing
This is the simplest way to resolve #333. everything else is overly complex:
Knowing which remote / branch to push involves requires prompting, which
requires to have a upstream branch pushed to detect default values.
2021-03-03 13:23:54 +01:00