<div dir="ltr"><div>Hey Christian,</div><div><br></div><div>I guess this originates from dune-python being moved into staging,</div><div>instead of being created there. I will quickly implement this if there are<br></div><div>no concerns raised.<br></div><div><br></div><div>Dominic<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 11, 2019 at 10:56 AM Christian Engwer <<a href="mailto:christian.engwer@uni-muenster.de">christian.engwer@uni-muenster.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear all,<br>
<br>
as we intend all staging module to become a core module in the future,<br>
I assumed that the access rights would be inherited from the core<br>
modules + some additional ones. Apparently this is wrong , at least<br>
for dune-python this is not the case, but I didn't check the others.<br>
<br>
I would suggest to add @core to all staging modules and wanted to ask<br>
for your opinions.<br>
<br>
Best<br>
Christian<br>
<br>
_______________________________________________<br>
Dune-devel mailing list<br>
<a href="mailto:Dune-devel@lists.dune-project.org" target="_blank">Dune-devel@lists.dune-project.org</a><br>
<a href="https://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">https://lists.dune-project.org/mailman/listinfo/dune-devel</a></blockquote></div>