diff options
| author | Micah Anderson <micah@riseup.net> | 2017-07-25 15:49:46 -0700 |
|---|---|---|
| committer | Micah Anderson <micah@riseup.net> | 2017-07-26 12:57:59 -0700 |
| commit | 55b784f2ccd6336db4bab9157a8498cb87c562ff (patch) | |
| tree | 6fe15d2ef55959f63f4f6e9173510ab4dd46857f /docs/en/details/development.html | |
| parent | 66282555344ce203c2372ff78d17610952af76a7 (diff) | |
CI: Cleanup and enhance to specify platform branch
Fix indentation; setup some more clear variables.
Add a third variable to ensure the proper platform branch is checked
out. This is necessary because otherwise environment deploys get stuck
because the platform directory is in a detached state and then the
environment deploys will not proceed because the branch check
fails. This will fix #8843.
Diffstat (limited to 'docs/en/details/development.html')
0 files changed, 0 insertions, 0 deletions