push to origin master explicitly

Git has started to throw warnings when the remote and branch are implicit.

Change-Id: I8b38c8db4010bed265674115980d340318e59a88
Merge "push to origin master explicitly"