Let's take a look at kitronik arcade for microbit. MakeCode: https://arcade.makecode.com/ Git: https://github.com/makecode-extensions/arcade-games
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.