update github configuration #939
Merged
deepsource.io / DeepSource: Python
succeeded
Jul 8, 2024 in 5s
Analysis passed: No blocking issues or failing metrics found
Loading