Add forgotten remote and revision to Galaxy4 repo