addressing reviewer comments: rename prs config files (remove "sa") and updating doc accordingly

This commit is contained in:
Florian Kaltenberger
2023-08-08 18:36:56 +02:00
committed by francescomani
parent f64179039e
commit 53171d96ea
5 changed files with 6 additions and 6 deletions