[theia-dev] Guidance about merging PR's

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

[theia-dev] Guidance about merging PR's

From: Thomas Mäder <tmader@xxxxxxxxxx>
Date: Fri, 15 Oct 2021 08:25:22 +0000
Delivered-to: theia-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/theia-dev/>
List-help: <mailto:theia-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/theia-dev>, <mailto:theia-dev-request@eclipse.org?subject=unsubscribe>
User-agent: eM_Client/8.2.1509.0

Hi folks,

Colin Grant was so kind to distill the discussion from the last community meeting about how and when to merge PR's into a PR (wonder who will merge that ;-)). Have a look: https://github.com/eclipse-theia/theia/pull/10260

/Thomas

Prev by Date: Re: [theia-dev] Debugger architecture musings
Next by Date: [theia-dev] Next theia-dev meeting
Previous by thread: [theia-dev] Roadmap Q4/2021
Next by thread: [theia-dev] Next theia-dev meeting
Index(es):
- Date
- Thread

Breadcrumbs