<div dir="ltr"><div><div><div>Hey Carsten,<br><br></div>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
the project flyspray/FS.<br>You can continue discussion there and reference
bugs by writing (That is why we have chose the group and<br></div><div>repository name as it is):<br></div><div><br>flyspray/FS#xyz<br><br>Please do not open any new bugs in the
flyspray project, but instead file them under the correct core module.<br></div><div>In the long run, it would be nice to squash all those Flyspray bugs.<br><br></div><div>Concerning mail notifications:<br><br></div><div>You may set individual notification settings in GitLab. This allows you to tune your settings this to your needs,<br></div><div>giving different priorities to the core modules etc. If people are interested we can also maintain the service of<br></div><div>dune-bugs, by having a dummy account in GitLab with the dune-bugs mailing list as mail address and the correct<br></div><div>notification settings for the core modules. If there is interest in such a feature, yell, and we will do it.<br></div><div><br></div>Best,<br></div>Dominic<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 2, 2015 at 4:32 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,<br>
sorry for the noise. It seems that this is all<br>
answered by Dominics recent commit to  dune-web.<br>
<br>
Best,<br>
Carsten<br>
<div><div class="h5"><br>
Am 02.11.2015 um 16:16 schrieb Carsten Gräser:<br>
> Hi Steffen,<br>
><br>
> Am 30.10.2015 um 12:58 schrieb Steffen Müthing:<br>
>> Hi everyone,<br>
>><br>
>> I’ll start the migration of the Flyspray tasks now. For that purpose, Flyspray will<br>
>> be taken offline.<br>
><br>
> thanks for importing all the old tasks. Now that we have them<br>
> in gitlab: How should we proceed using this? Should we use<br>
><br>
> a) the bug tracker of flyspray/FS for all core modules<br>
> b) the per-project bug trackers<br>
><br>
> in the future/for new bugs.<br>
><br>
> In case a) the project name 'old flyspray bugs' is misleading<br>
> and we should disable the per-project issue trackers. I vaguely<br>
> remember that someone said, one can link to bugs in commits via<br>
> tagging. Does this still work with a) and how to do this?<br>
><br>
> Besides this: Are there still automatic notifications via<br>
> dune-bugs@... or do we need to subscribe to tasks manually.<br>
><br>
> Best,<br>
> Carsten<br>
><br>
><br>
><br>
</div></div>> _______________________________________________<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>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
Prof. Dr. Carsten Gräser<br>
Freie Universität Berlin<br>
Institut für Mathematik<br>
Arnimallee 6<br>
14195 Berlin, Germany<br>
phone: <a href="tel:%2B49%2030%20838%2072637" value="+493083872637">+49 30 838 72637</a><br>
fax  : <a href="tel:%2B49%2030%20838%20472637" value="+4930838472637">+49 30 838 472637</a><br>
email: <a href="mailto:graeser@mi.fu-berlin.de">graeser@mi.fu-berlin.de</a><br>
URL  : <a href="http://page.mi.fu-berlin.de/graeser" rel="noreferrer" target="_blank">http://page.mi.fu-berlin.de/graeser</a><br>
<br>
</font></span><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>