This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "CI scripts".

The branch, master has been updated via 135f4485454ec9fa5717f30479693b24b12608b6 (commit) from 64c82cdeafe65aa706f8779da5ff17033b0ffe97 (commit)

Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below.

- Log ----------------------------------------------------------------- http://cgit.osmocom.org/osmo-ci/commit/?id=135f4485454ec9fa5717f30479693b24b...

commit 135f4485454ec9fa5717f30479693b24b12608b6 Author: Neels Hofmeyr neels@hofmeyr.de Date: Wed Nov 1 13:45:10 2017 +0100

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

-----------------------------------------------------------------------

Summary of changes: scripts/osmo-deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

hooks/post-receive