diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-01-13 10:53:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-13 10:53:40 +0100 |
commit | dda71d3726a1767dbd4674cde6e130093e290183 (patch) | |
tree | 436fe648af8a26a55df878e091ec5a1a1207110b /scripts | |
parent | eaa20f25747eb025c7c4e69fa83f0e455a65393f (diff) | |
parent | 7de8af526e196f16b757289b41cde65ccd68f4e8 (diff) |
Merge pull request #7427 from fricklerhandwerk/pr-policy
state priorities in triaging and discussion process
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions