mirror of
https://gitea.com/actions/checkout.git
synced 2026-10-08 09:06:21 +02:00
Document update: Checkout PR head sha (#102)
This commit is contained in:
1 parent
5881116d18
commit
cab31617d8
1 file changed
+1
-1