<div dir="ltr">Dear Jeremy,<br><br><div class="gmail_quote"><div dir="ltr">On Mon, Feb 22, 2016 at 11:39 AM Jeremy Yallop <<a href="mailto:yallop@gmail.com">yallop@gmail.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Is it fair to say that your concerns are primarily about notification<br>
rather than permission?</blockquote><div><br></div><div>No, it is about permission. When I publish something on the OPAM repository, I take some responsability for it. I don't want anybody else to mess with my packages, and then discover problems that either I could have discovered much earlier if I had been contacted immediately, or either caused by a maintainer that didn't know how to fix a problem I had caused. Am I the only one to care about that ?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">  The problem isn't that people are modifying<br>
other people's packages, but that the original maintainers aren't<br>
always notified.<br></blockquote><div><br></div><div>As I replied to Thomas, would you like Github to modify the source code of your application they are hosting, and just add an issue in your BTS to tell you afterwards ?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
One thing I try to do when submitting pull requests that modify<br>
others' packages is to mention the GitHub username of the maintainer<br>
in the PR description so that they receive a notification. </blockquote><div><br></div><div>Well, as I am watching tens of repos on Github, my mailbox is full of such emails. I would not notice such a mention, unless I decide to read the thread because the title is interesting. Direct mails would be much better.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> If the change is likely to be at all controversial then I wait for the<br>
maintainer to comment before merging.<br></blockquote><div><br></div><div>That's should be the only way to modify a package. Or if the package maintainer does not reply to direct emails after a week or two (in which case either the package should be removed, or the maintainer could be changed).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This approach could be mostly automated, with a bot that retrieves the<br>
username of the original committer of each file from the GitHub API.<br>
However, I wonder if it'd be sufficient to add a note to the PR check<br>
procedure (<a href="https://github.com/ocaml/opam-repository/wiki/PR-checks" rel="noreferrer" target="_blank">https://github.com/ocaml/opam-repository/wiki/PR-checks</a>)<br>
suggesting that opam-repository maintainers notify package maintainers<br>
when submitting changes.<br></blockquote><div><br></div><div>Again, I think it is not about suggesting, as it is already the case today.</div><div><br></div><div>--Fabrice</div><div><br></div></div></div>