I occasionally read through the various openEHR specifications for the sake of learning about the health IT domain. While doing so I sometimes find typographical mistakes, Asciidoc syntax problems, or broken links.
Since one pull request fixing typos was merged but others don’t receive feedback on GitHub (since 13 Aug and 21 Sep) and I am wondering whether it’s worth the time to resolve merge conflicts and create new pull requests like this.
Could you please tell me what’s your take on fixing such small issues? And if you agree that fixing them is worthwhile, what is the appropriate process for this?