There are two sections describing `push --force`