Re: [dealii-developers] use Github Projects feature
On Friday, October 14, 2016 at 2:31:08 AM UTC+2, Matthias Maier wrote: > > On Thu, Oct 13, 2016, at 15:59 CDT, Denis Davydov > wrote: > > Ps.: Denis, I am disappointed. You forgot to mention the most important > feature. You can add emoticons to comments of others :-P > You will be surprised, but there is a reason for me not mentioning it it is not a part of September updated :- -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [dealii-developers] use Github Projects feature
On Thu, Oct 13, 2016, at 15:59 CDT, Denis Davydov wrote: > p.s. one can also gather all comments on a PR into a single review and do > one of the following: ask for changes / approve / just comment. I like this > feature as well. Yes, especially the "approve" and "ask for changes" features are very nice additions. We had a few cases of misunderstandings in the past where it simply wasn't clear whether someone simply commented, or asked for a change. So, now we can - and should - make that obvious and clear. :-) Further, the grouping feature shouldn't be underestimated! Best, Matthias Ps.: Denis, I am disappointed. You forgot to mention the most important feature. You can add emoticons to comments of others :-P -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[dealii-developers] use Github Projects feature
In September Github has rolled out a few new features, one of the is Projects tab: https://github.com/blog/2256-a-whole-new-github-universe-announcing-new-tools-forums-and-features >From the interface it appears to be more handy than simply tagging issues/PRs. One can prioretize issues/PRs and shift things around. Essentially it's a way to organize Issues and PRs for a better visualization and prioritisation. Here is a video: https://www.youtube.com/watch?v=C6MGKHkNtxU I think this could be used for: (i) upcoming release (ii) starter projects (iii) big milestones like full complex-valued support. p.s. one can also gather all comments on a PR into a single review and do one of the following: ask for changes / approve / just comment. I like this feature as well. Cheers, Denis. -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.