Cedric Brandily 44707a1e79 Use git push-url instead of a second remote ... Having a gerrit remote means that we fetch changes twice. It's also not necessary since the push-url can be set on the origin remote. As a first step, add a config option that changes the default for defaultremote to origin and then reworks the logic to add the remote url to origin as a push-url instead of creating a gerrit remote. Since this will cause people with an existing gerrit remote to have a push url added and the gerrit remote orpahned, a follow on commit will come that will look for a gerrit remote and, if it exists, use it as the source of url for the push-url and then delete the old remote. Change-Id: Ief5d092a796516de9605b7df64e7b902c3b47351		2015-07-21 12:21:25 +00:00
..
tests	Use git push-url instead of a second remote	2015-07-21 12:21:25 +00:00
__init__.py	Migrate to pbr.	2013-08-15 20:42:37 +00:00
cmd.py	Use git push-url instead of a second remote	2015-07-21 12:21:25 +00:00