push: modify usage information according to the command option