Ahmed Zetao Yang c5b6fe3957 fix: checkout of head commit during PR creation ...

* according to https://github.com/actions/checkout/issues/61#issuecomment-561363340

2020-10-10 11:57:35 -05:00

..

ISSUE_TEMPLATE

Update issue templates

2018-08-17 16:45:18 +02:00

workflows

fix: checkout of head commit during PR creation

2020-10-10 11:57:35 -05:00