Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit depr

Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021

On Thu, Dec 17, 2020 at 8:25 PM Christian Dietrich <christian.dietrich@xxxxxxxxx> wrote:

hi, doesnt that depend where platform and jdt move to?

That's actually one of the strategies Tycho could take: just wait for Platform/JDT to make a decision and follow it ;)

Follow-Ups:
- Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021
  - From: Christoph Läubrich

References:
- [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021
  - From: Christoph Läubrich
- Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021
  - From: Alexander Fedorov
- Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021
  - From: Mickael Istria
- Re: [tycho-dev] Move to Github / Bugzilla, MediaWiki and Git/Gerrit deprecated in early 2021
  - From: Christian Dietrich