minor change to show push from command line...is it necessary