Skip to content

Commit

Permalink
Fixup: git update with pull command
Browse files Browse the repository at this point in the history
Let's do git update with pull command an it takes
care incase we use different branch than master.

Signed-off-by: Satheesh Rajendran <sathnaga@linux.vnet.ibm.com>
  • Loading branch information
Satheesh Rajendran committed May 16, 2019
1 parent 82bd7f5 commit a39b382
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion avocado-setup.py
Expand Up @@ -218,7 +218,7 @@ def get_repo(repo, basepath, install=False):
repo_name = repo.split('/')[-1].split('.')[0]
repo_path = os.path.join(basepath, repo_name)
if os.path.isdir(repo_path):
cmd = "cd %s;git remote update;git merge origin master" % repo_path
cmd = "cd %s;git pull --no-edit" % repo_path
helper.runcmd(cmd,
info_str="Updating the repo: %s in %s" % (repo_name, repo_path),
err_str="Failed to update %s repository:" % repo_name)
Expand Down

0 comments on commit a39b382

Please sign in to comment.