push reads manifest files

The application name argument is now optional if it is present in the manifest file.

[finishes #58850876]