diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-11-01 13:45:10 +0100 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2017-11-01 13:47:31 +0100 |
| commit | 135f4485454ec9fa5717f30479693b24b12608b6 (patch) | |
| tree | da34b421f262f353285ae332a2d9bbb4f7999ae9 /README.adoc | |
| parent | 64c82cdeafe65aa706f8779da5ff17033b0ffe97 (diff) | |
osmo-deps.sh: fix: add 'origin/' to branch, to properly update
If I have a git clone that once did 'checkout [-f] branch', and if then
origin/branch gets updates, doing another 'checkout -f branch' only goes back
to the local tracking-branch of origin/branch. We never pull in changes from
origin/branch anymore as soon as a local branch exists. Always prepend
'origin/', so that 'checkout -f' goes into detached-HEAD state onto the newest
fetched revision.
Change-Id: Ia715a100b5beaf7e612c2c64cdad8819aa00c8bd
Diffstat (limited to 'README.adoc')
0 files changed, 0 insertions, 0 deletions