Allow CI to push file deletions (fixes #945)#976

17cupsofcoffee merged 1 commit intosourcerust-gamedev/rust-gamedev.github.io:sourcefrom

17cupsofcoffee-output-cleanuprust-gamedev/rust-gamedev.github.io:17cupsofcoffee-output-cleanupCopy head branch name to clipboard