Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests

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

Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 12 Apr 2021 11:06:10 +0200
Delivered-to: tycho-user@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/tycho-user/>
List-help: <mailto:tycho-user-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/tycho-user>, <mailto:tycho-user-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/tycho-user>, <mailto:tycho-user-request@eclipse.org?subject=unsubscribe>

Hi Lars,

Can you please open a bug report to suggest that? We'll then add +1 and move this to infra team for action.

Follow-Ups:
- Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
  - From: Lars Vogel

References:
- [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
  - From: Mickael Istria
- Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
  - From: Lars Vogel
- Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
  - From: Christoph Läubrich
- Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
  - From: Lars Vogel

Prev by Date: Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
Next by Date: Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
Previous by thread: Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
Next by thread: Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests
Index(es):
- Date
- Thread

Back to the top