[ADMIN] Add file .github/repository-settings.md

[marcalff]

Changes

Add file .github/repository-settings.md, to comply with community processes.

See the file content for details.

[marcalff]

@ThomsonTan @lalitb @esigo

Please confirm you have the admin privilege now (github UI contains the required / not required builds in branch protection rules).

Please approve the PR, to acknowledge you are aware of this new file.

For those who remember, CI broke loose all other the place last year around this period, due to a platform upgrade for the ubuntu image.

At least if the same happens again, now we have more tools to handle this, and push critical fixes if needed, even under degraded conditions.

[codecov]

Codecov Report

Merging #2392 (faeb33a) into main (5bf2f80) will not change coverage.
The diff coverage is n/a.

❗ Current head faeb33a differs from pull request most recent head 42a5486. Consider uploading reports for the commit 42a5486 to get more accurate results

@@           Coverage Diff           @@
##             main    #2392   +/-   ##
=======================================
  Coverage   87.43%   87.43%           
=======================================
  Files         199      199           
  Lines        6030     6030           
=======================================
  Hits         5272     5272           
  Misses        758      758           

[esigo]

LGTM
Thanks :)

[lalitb]

Thanks :)