Merge "export: determine remote repo name from git config" into devel my-devel
authorQiang Z Zhang <qiang.z.zhang@intel.com>
Thu, 26 Dec 2013 08:43:06 +0000 (10:43 +0200)
committerGerrit Code Review <gerrit2@otctools.fi.intel.com>
Thu, 26 Dec 2013 08:43:06 +0000 (10:43 +0200)

Trivial merge