Good thing we&#x27;ve got mirrors, and don&#x27;t depend on GitHub for releases. Still, we interact with our customers through GitHub and use it heavily in our workflow. Productivity is impacted if not stopped.