Lee-Ming Zen 044e37573e Remove checkout of head in PR workflow		2021-01-21 20:18:56 -08:00
..
ISSUE_TEMPLATE	Update issue templates	2020-08-12 20:16:34 +01:00
workflows	Remove checkout of head in PR workflow	2021-01-21 20:18:56 -08:00