[ms013]

It would be publicly visible on github, such that the community can see the dispute and the response (or lack thereof) from the other project. While it won’t necessarily fix the problem, it is more visible.