Automating Pre-Push Checks with Jujutsu