Attention is currently required from: pespin.

View Change

1 comment:

• File coverity/prepare_source_Osmocom.sh:

  • Patch Set #1, Line 41: git -C "$proj" clean -ffxd

    this should also pull latest master, since that's what git clone is doing below.

    I think there are two use cases:
    1. jenkins, which removes the source directories and does a fresh clone
    2. development of these scripts where we want fast iterations. running git fetch/pull on each repo just slows it down.

To view, visit change 28491. To unsubscribe, or for help writing mail filters, visit settings.