Re: [pde-dev] PDE and GitHub

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [pde-dev] PDE and GitHub

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Fri, 15 Jul 2022 12:53:17 +0200
Delivered-to: pde-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/pde-dev/>
List-help: <mailto:pde-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/pde-dev>, <mailto:pde-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/pde-dev>, <mailto:pde-dev-request@eclipse.org?subject=unsubscribe>

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

Follow-Ups:
- Re: [pde-dev] [platform-dev] PDE and GitHub
  - From: Ed Merks

References:
- [pde-dev] PDE and GitHub
  - From: Vikas Chandra
- Re: [pde-dev] PDE and GitHub
  - From: Lars Vogel

Prev by Date: Re: [pde-dev] PDE and GitHub
Next by Date: Re: [pde-dev] PDE and GitHub
Previous by thread: Re: [pde-dev] PDE and GitHub
Next by thread: Re: [pde-dev] [platform-dev] PDE and GitHub
Index(es):
- Date
- Thread

Breadcrumbs