The head SHA is checked against the head ref's current tip by the daemon, so a push that lands while this form is open is refused rather than opened against a commit nobody read.