I think that it might be useful to migrate some of the issues over to the 'projects' (i.e., kanban) board. Would people be interested in making this change to our workflow?
I am not an expert in workflows but I think we could benefit from a finer distinction between 'ongoing projects' and 'open issues'. On Thursday, October 13, 2016 at 4:59:10 PM UTC-4, Denis Davydov wrote: > > 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.
