They have been forced.

Unless the executives want to go to jail, they will comply with export restrictions.

If this gets extended to GitHub (potentially likely), then that would be a disaster both for China and for open source.