You can always force push origin master for that CI - that's what the linux CI does, so any damage done will be undone by those linux force pushes