fix git origin when workarea has not been pushed