1
1
mirror of https://gitea.com/gitea/tea synced 2024-11-23 08:22:40 +01:00
tea/modules/workaround
6543 d22b314701 Introduce workaround for missing pull head sha (#340)
fix #318

test with `tea pr 58`

Co-authored-by: Norwin Roosen <git@nroo.de>
Reviewed-on: https://gitea.com/gitea/tea/pulls/340
Reviewed-by: Norwin <noerw@noreply.gitea.io>
Reviewed-by: Andrew Thornton <art27@cantab.net>
Co-authored-by: 6543 <6543@obermui.de>
Co-committed-by: 6543 <6543@obermui.de>
2021-03-08 03:45:50 +08:00
..
pull.go Introduce workaround for missing pull head sha (#340) 2021-03-08 03:45:50 +08:00