Add pull_request_bot configuration file #764
+13
−0
Merged
abaplint / abaplint / observations
succeeded
Apr 17, 2026 in 7s
0 observations
No observations found
Base: 5114bae, Head: 5caac46
Loading