Francois Beutin dd28b24b38 Add a workaround for Github API refusing to open PRs too quickly

2023-11-09 16:21:23 +01:00

..

actions/commit-changes

[fix] 'github-push-action' does not seem to cope with src:dst git push syntax

2022-11-16 12:14:57 +01:00

ISSUE_TEMPLATE

add S+ (#437)

2023-06-14 10:53:46 +02:00

workflows

Add a workaround for Github API refusing to open PRs too quickly

2023-11-09 16:21:23 +01:00

pull_request_template.md

fix: PR template

2022-03-04 15:57:19 +01:00