mirror of https://gitea.com/gitea/tea.git
375ece06d2
On PR #421 CI did not work and it was force merged. Thus we managed to have failing CI on master.. :( sorry Co-authored-by: Norwin <git@nroo.de> Reviewed-on: https://gitea.com/gitea/tea/pulls/425 Co-authored-by: Norwin <noerw@noreply.gitea.io> Co-committed-by: Norwin <noerw@noreply.gitea.io> |
||
---|---|---|
.. | ||
config | ||
context | ||
git | ||
interact | ||
task | ||
utils | ||
workaround |