Maikel Linke 245d900b58 Remove unused CI scripts ...

We used to have our own CI server, but now we are using Travis and
Semaphore. We don't need these scripts any more. And since
parallel_tests was removed in the previous commit, they are broken
anyway.

2018-10-09 17:06:59 +11:00

..

check_github_status.sh

check_github_status.sh can check for user defined statuses

2016-01-20 14:58:21 +11:00

includes.sh

Remove unused CI scripts

2018-10-09 17:06:59 +11:00

load_staging_baseline.sh

CI scripts use env vars

2015-10-21 10:04:29 +11:00

merge_branch_to_master.sh

CI: Add more robust merge-to-master script

2015-06-03 12:25:28 +10:00

merge_master_into_branch.sh

Store commit at start of build process and use it throughout

2015-06-17 16:25:34 +10:00

push_to_production.sh

CI scripts use env vars

2015-10-21 10:04:29 +11:00

push_to_staging.sh

CI scripts use env vars

2015-10-21 10:04:29 +11:00

save_staging_baseline.sh

CI scripts use env vars

2015-10-21 10:04:29 +11:00