Automatic merge branch 'main' into 'devel'

This commit is contained in:
github-actions[bot] 2023-07-28 08:41:01 +00:00 committed by GitHub
commit cb34356dad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
.github/stale.yml vendored
View File

@ -51,7 +51,7 @@ markComment: >
limitPerRun: 10
# Limit to only `issues` or `pulls`
# only: issues
only: issues
# Optionally, specify configuration settings that are specific to just 'issues' or 'pulls':
# pulls: