Add Github workspace mirror.yml so we can pull to github daily

This operates only on github, where it will result in a daily mirror operation.

added 1 commit

• 9fa4f130 - move environment to right place

Compare with previous version

closed