Please delete it then, i will re-post. Sorry for troubles. > On 6 Dec 2016, at 17:47, Jean-Paul Pelteret <[email protected]> wrote: > > No way to move it, but I can delete it if you want? > > On Tuesday, December 6, 2016 at 5:41:32 PM UTC+1, Denis Davydov wrote: > wrong forum, sorry, i meant to post it here > https://groups.google.com/forum/?fromgroups#!forum/dealii-developers > <https://groups.google.com/forum/?fromgroups#!forum/dealii-developers> > If there is a way to move the post, feel free. > > On Tuesday, December 6, 2016 at 5:40:49 PM UTC+1, Denis Davydov wrote: > I think it would be better if deal.II's GitHub account had developer team > public and > the possibility to address all developers via team's mention of @dealii or > alike. > > See https://help.github.com/articles/setting-up-teams/ > <https://help.github.com/articles/setting-up-teams/> for details. > > p.s. I would say the usage case is to ping on PRs which are ready, but need > at least one more pair of eyes to review. > > Cheers, > Denis. > > -- > The deal.II project is located at http://www.dealii.org/ > <http://www.dealii.org/> > For mailing list/forum options, see > https://groups.google.com/d/forum/dealii?hl=en > <https://groups.google.com/d/forum/dealii?hl=en> > --- > You received this message because you are subscribed to a topic in the Google > Groups "deal.II User Group" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/dealii/AW7HMJSjIDc/unsubscribe > <https://groups.google.com/d/topic/dealii/AW7HMJSjIDc/unsubscribe>. > To unsubscribe from this group and all its topics, send an email to > [email protected] > <mailto:[email protected]>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>.
-- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
