Git push force shortcut with allow-empty that automatically infers the current branch. Useful for kicking failed builds. - View it on GitHub