gitea/tea

make PR workflow helpers more robust #300

Merged

6543 merged 8 commits from noerw/tea:improve-pr-clean into master

2020-12-17 14:00:17 +00:00

Author	SHA1	Message	Date
Norwin	930fd18999	Merge branch 'master' into improve-pr-clean All checks were successful continuous-integration/drone/pr Build is passing Details	2020-12-17 09:05:29 +08:00
6543	c78a9185d3	Merge branch 'master' into improve-pr-clean All checks were successful continuous-integration/drone/pr Build is passing Details	2020-12-17 01:18:55 +08:00
Norwin	3a95d6c269	Merge branch 'master' into improve-pr-clean All checks were successful continuous-integration/drone/pr Build is passing Details	2020-12-16 01:53:02 +08:00
Norwin	e828014134	Merge branch 'master' into improve-pr-clean All checks were successful continuous-integration/drone/pr Build is passing Details	2020-12-15 19:06:32 +08:00
Norwin Roosen	8aa5d9b8dc	add missing err check All checks were successful continuous-integration/drone/pr Build is passing Details	2020-12-14 16:40:46 +01:00
Norwin Roosen	83794cd8f9	only delete remote branch if we have permission	2020-12-14 16:40:46 +01:00
Norwin Roosen	5d64af557c	split git.TeaDeleteBranch	2020-12-14 16:40:46 +01:00
Norwin Roosen	a211227c26	improve handling of remote deleted branches	2020-12-14 16:40:46 +01:00