diff options
| -rwxr-xr-x | scripts/oe-git-archive | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/oe-git-archive b/scripts/oe-git-archive index 117118b04e..aef4ba10a7 100755 --- a/scripts/oe-git-archive +++ b/scripts/oe-git-archive | |||
| @@ -231,9 +231,10 @@ def main(argv=None): | |||
| 231 | # Push data to remote | 231 | # Push data to remote |
| 232 | if args.push: | 232 | if args.push: |
| 233 | cmd = ['push', '--tags'] | 233 | cmd = ['push', '--tags'] |
| 234 | # If no remote is given we push with the default settings from | ||
| 235 | # gitconfig | ||
| 234 | if args.push is not True: | 236 | if args.push is not True: |
| 235 | cmd.extend(['--repo', args.push]) | 237 | cmd.extend([args.push, branch_name]) |
| 236 | cmd.append(branch_name) | ||
| 237 | log.info("Pushing data to remote") | 238 | log.info("Pushing data to remote") |
| 238 | data_repo.run_cmd(cmd) | 239 | data_repo.run_cmd(cmd) |
| 239 | 240 | ||
