Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [pde-dev] PDE and GitHub

Hi Vikas,

Like Lars, I'm also unsure adding more tickets and bureaucracy as a requirement will help the committers in being more efficient.
Can you please explain the current problems that you or others face with tracking in the current state? Maybe we can find some tricks (eg GitHub queries) to satisfy you needs without requiring an issue for every PR if the contributor didn't reporting an issue a-priori was useful.

Cheers

Back to the top