<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Yes! I think it would make them easily visible to a much wider audience, including Google search results.</div><div dir="ltr"><br><div>As a casual observer, I've also been curious about something, Many changes go through a "public" process where they have a ticket assigned, go through pull request review, then get merged. But quite a few changes seem to go through another "private" process where there's no Jira ticket or PR, only an internal OTP ticket and a direct merge. In some cases there are clearly security reasons to do so, but not always.</div><div><br></div><div>Is this just a matter of convenience? Might it change in a transition to Github issues?</div><div><br></div><div>I appreciate when changes land in pull requests as I get Github notifications, and it makes it possible to comment before it's merged. Not that I usually have much to say, but still :)</div></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">2020年10月8日(木) 22:36 Roberto Aloi <<a href="mailto:prof3ta@gmail.com">prof3ta@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="auto">I would strongly second that.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 8 Oct 2020 at 15:28, Tristan Sloughter <<a href="mailto:t@crashfast.com" target="_blank">t@crashfast.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><u></u><div><div>Yes, please :)<br></div></div></blockquote></div></div>
</blockquote></div></div>