GitHub is US-made and US-owned, plus Microsoft Israel R&D states that one of its teams is responsible for building and maintaining GitHub's runtime platform:
https://www.microsoftrnd.co.il/whatwedo
Possible alternatives:
Maybe GitHub could remain as a mirror while the main repository moves elsewhere.
Would the maintainers be open to considering this?
GitHub is US-made and US-owned, plus Microsoft Israel R&D states that one of its teams is responsible for building and maintaining GitHub's runtime platform:
https://www.microsoftrnd.co.il/whatwedo
Possible alternatives:
Maybe GitHub could remain as a mirror while the main repository moves elsewhere.
Would the maintainers be open to considering this?