summaryrefslogtreecommitdiffstats
path: root/release-notes/4253.md
blob: 1533c2a73441e2fc13b4e359e0df22cff6407184 (plain)
1
- unknown git push options are rejected instead of being ignored