<div dir="ltr"><div><div><div><div><div>Hey Carsten,<br><br></div>we have also been talking about the infrastructure issues.<br></div>We thought about adding a group "infrastructure" in GITLab, where<br></div>we can have the web page once it is ported and also a project<br></div>just for issue tracking?<br><br></div>Dominic<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 3, 2015 at 6:07 PM, Carsten Gräser <span dir="ltr"><<a href="mailto:graeser@mi.fu-berlin.de" target="_blank">graeser@mi.fu-berlin.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Dominic,<br>
<span class=""><br>
Am 02.11.2015 um 16:42 schrieb Dominic Kempf:<br>
> Hey Carsten,<br>
><br>
> I will gladly spread that information on the mailing list too:<br>
><br>
> The bugs from the Flyspray bug tracker have been imported into GitLab in<br>
> the project flyspray/FS.<br>
> You can continue discussion there and reference bugs by writing (That is<br>
> why we have chose the group and<br>
> repository name as it is):<br>
><br>
> flyspray/FS#xyz<br>
><br>
> Please do not open any new bugs in the flyspray project, but instead<br>
> file them under the correct core module.<br>
> In the long run, it would be nice to squash all those Flyspray bugs.<br>
</span>thanks for this information.<br>
<span class=""><br>
> Concerning mail notifications:<br>
><br>
> You may set individual notification settings in GitLab. This allows you<br>
> to tune your settings this to your needs,<br>
> giving different priorities to the core modules etc. If people are<br>
> interested we can also maintain the service of<br>
> dune-bugs, by having a dummy account in GitLab with the dune-bugs<br>
> mailing list as mail address and the correct<br>
> notification settings for the core modules. If there is interest in such<br>
> a feature, yell, and we will do it.<br>
</span>I'm not sure. But currently you're cut off from development<br>
unless you take action on your own. I see the following<br>
potential problems:<br>
<br>
a)Dev's don't get all information unless they expliclity select<br>
  to get all notifications in gitlab.<br>
b)People following dune-bugs don't get notified anymore<br>
c)People following dune-commit don't get notified anymore<br>
d)People following dune-devel don't get notified by merge-request<br>
  and respective comments which carry information that went<br>
  on the list before. Those may not have a gitlab account.<br>
<br>
a) should not be an issue, because we can expect this<br>
from devs. But currently I don't get all notifications<br>
per mail, altough I've selected 'watch' in my personal<br>
settings. The only viable option currently seems to be the<br>
rss activity feed.<br>
<br>
b) and c) could be avoided by forwarding all information<br>
to those lists. Those who want personal settings can simply<br>
unsubscribe.<br>
<br>
d) Could be worked around by either forwarding all<br>
merge-request related notifications to dune-devel<br>
or a new list.<br>
<br>
Best,<br>
Carsten<br>
<br>
PS:<br>
Where should be track infrastructure bugs not related<br>
to a module now?<br>
<br>
<br>_______________________________________________<br>
Dune-devel mailing list<br>
<a href="mailto:Dune-devel@dune-project.org">Dune-devel@dune-project.org</a><br>
<a href="http://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">http://lists.dune-project.org/mailman/listinfo/dune-devel</a><br>
<br></blockquote></div><br></div>