Support jumping to jdt:// URIs with GoTo #1788
Open
Mergify / Summary
failed
Jul 15, 2025 in 0s
The current Mergify configuration is invalid
- Extra inputs are not permitted @ root → pull_request_rules → item 0 → actions → queue → method → merge
- Extra inputs are not permitted @ root → pull_request_rules → item 1 → actions → queue → method → merge
- Extra inputs are not permitted @ root → pull_request_rules → item 2 → actions → queue → method → merge
Loading