Federico Di Pierro 0c39776557 chore(ci): properly checkout pull request HEAD instead of merge commit in gh actions. ...

See https://github.com/actions/checkout#checkout-pull-request-head-commit-instead-of-merge-commit.

Signed-off-by: Federico Di Pierro <nierro92@gmail.com>

2022-12-12 11:11:44 +01:00

..

workflows

chore(ci): properly checkout pull request HEAD instead of merge commit in gh actions.

2022-12-12 11:11:44 +01:00

PULL_REQUEST_TEMPLATE.md

update(PR-template): restore release-note

2022-08-11 10:32:21 +02:00