csarven
commented
3 weeks ago @TallTed , perhaps worth noting:
- https://github.com/solid/specification/pull/623#pullrequestreview-1895389669
- https://github.com/solid/specification/pull/633#pullrequestreview-1931202123
:shrug:
@hzbarcea — Perhaps worth noting that you can simplify the commit history (while retaining the who-did-what details) by using the "add to batch" button on review comments.