Just a test to see if we can automatically sync repository mirror

This should be pushed to github and gitlab automatically