Richard van der Hoff 81c0c7bd4f Various tweaks to fetch-develop-deps ...

* tell git to checkout the right branch, rather than cloning and then changing.
* clone with depth 1 under travis, to save time.
* less pushd/popd, which print out confusing text - use `cd` in a subshell
  instead. (and just avoid it where possible).
* add some markers to the output to let travis roll it up.

2017-06-01 18:18:46 +01:00

..

copy-res.js

Add language picker labels (#4141)

2017-06-01 14:38:36 +01:00

deploy.py

Verify PGP signatures on tarballs when deploying

2017-01-18 22:58:04 +00:00

electron-package.sh

change wording to not confuse users building repo

2017-05-11 17:49:31 +01:00

fetch-develop.deps.sh

Various tweaks to fetch-develop-deps

2017-06-01 18:18:46 +01:00

genflags.sh

genflags.sh should be run from root dir

2017-05-18 11:38:01 +01:00

issues-burndown.pl

change wording to not confuse users building repo

2017-05-11 17:49:31 +01:00

issues-no-state.pl

change wording to not confuse users building repo

2017-05-11 17:49:31 +01:00

jenkins.sh

rev-parse the commit from the deps

2017-05-26 22:52:49 +01:00

make-icons.sh

npm is "smart" enough to try and install our electron wrapper as a module

2017-05-10 13:36:27 +01:00

package.sh

fix #3894

2017-05-15 21:14:01 +01:00

redeploy.py

Verify PGP signatures on tarballs when deploying

2017-01-18 22:58:04 +00:00