nodiscc 17d3205644 doc/pull request template: approved PRs will be merged after ~1 week (#161)		2023-09-18 14:56:11 +00:00
..
ISSUE_TEMPLATE	doc/PR/issue template: forks must provide a list of differences with upstream (#95)	2023-08-26 17:06:03 +00:00
workflows	doc/tools: update instructions for deploy key setup	2023-08-22 15:45:19 +02:00
PULL_REQUEST_TEMPLATE.md	doc/pull request template: approved PRs will be merged after ~1 week (#161)	2023-09-18 14:56:11 +00:00