Refs: #22824 (comment)
Pros:
- They will be easier to find in long lists.
Cons:
- Huge doc churn, git blame ruin, difficult diffs to review in correction PRs, significant backporting burdens.
- Hard to maintain in new PRs except it will be automated as doc lint rule.
- Some properties can be grouped logically, this grouping will be destroyed by ABC-sorting.
Please, vote:
+1 — 👍
-1 — 👎
Apart from the previous voting:
"I may be ready to review such PRs (one per doc to reduce the workload)" — 🎉
Refs: #22824 (comment)
Pros:
Cons:
Please, vote:
+1 — 👍
-1 — 👎
Apart from the previous voting:
"I may be ready to review such PRs (one per doc to reduce the workload)" — 🎉