[theia-dev] PR's on the rise

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

[theia-dev] PR's on the rise

From: Thomas Mäder <t.s.maeder@xxxxxxxxx>
Date: Thu, 21 Nov 2024 10:23:33 +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/10.1.4588.0

Hi folks,

just noticed that our open PR count has passed 30 again. Let's try to keep it to a single page, so please consider investing some time into reviews and getting PR's merged.

thanks, Thomas

Prev by Date: [theia-dev] 📢 **TheiaCon 2024 is tomorrow!**
Next by Date: [theia-dev] Eclipse Theia v1.56.0
Previous by thread: [theia-dev] 📢 **TheiaCon 2024 is tomorrow!**
Next by thread: [theia-dev] Eclipse Theia v1.56.0
Index(es):
- Date
- Thread

Breadcrumbs