To elaborate further:
1. The deal won't be closed for many months (they expect december)
2. Microsoft probably won't change github at first (xcept maybe make the
login integrate with a Microsoft Account)
3. We don't know what they plan to do with the platform in the long
term, so worrying now is pointless.
4. We don't know that it will EVER be hostile toward ReactOS, even if
they break the platform and make it unusable, so chances are we are good.
5. If worst comes to worst, as Thomas said, we just say goodbye to GH
and move elsewhere.
On 5 June 2018 at 10:36, Javier Agustìn Fernàndez Arroyo <elhoir(a)gmail.com>
wrote:
great! :)
On Tue, Jun 5, 2018 at 10:34 AM, Thomas Faber <thomas.faber(a)reactos.org>
wrote:
To elaborate, we're not dependent on GitHub
in any significant way. It's
just convenient. But if it stops being so, it's easy to go elsewhere.
That's a key part of Git, being a "distributed" VCS.
On 2018-06-05 10:31, Oleksandr Shaposhnikov wrote:
No it may not.
5 черв. 2018 р. 11:24 Javier Agustìn Fernàndez Arroyo <elhoir(a)gmail.com>
пише:
-empowering-developers/
_______________________________________________
Ros-dev mailing list
Ros-dev(a)reactos.org
http://www.reactos.org/mailman/listinfo/ros-dev
_______________________________________________
Ros-dev mailing list
Ros-dev(a)reactos.org
http://www.reactos.org/mailman/listinfo/ros-dev