Closed fisehara closed 5 months ago
Thanks for your contribution @fisehara , we appreciate it!
We also have a Discord server, which you’re more than welcome to join. It's a great place to connect with fellow contributors and stay updated with the latest developments!
Merge GitHub reporting repository defaults with custom GitHub reporting configuration
Report GitHub configuration is merged with the default GitHub reporting configuration from the action context:
Before the default github reporting function was used and did not take the custom configuration into account. Especially the duplication detection and the severity as label was not used when set the github-report flag.