Oh, actually Wolfgang could probably move it - I don't have write access to the developer forum.
On Tuesday, December 6, 2016 at 5:47:36 PM UTC+1, Jean-Paul Pelteret 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 >> 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/ 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/ 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.
