diff options
| author | Michael Kaye <1917473+michaelkaye@users.noreply.github.com> | 2018-09-25 10:37:08 +0100 |
|---|---|---|
| committer | Michael Kaye <1917473+michaelkaye@users.noreply.github.com> | 2018-09-27 12:01:09 +0100 |
| commit | a3c11f73204857a363f78a26412f5aa46adf8650 (patch) | |
| tree | 00c53c3107aeb9d2190f28851613fee8a54bbb6d /jenkins-postgres.sh | |
| parent | Make username configurable in the UI too (diff) | |
| download | synapse-a3c11f73204857a363f78a26412f5aa46adf8650.tar.xz | |
Also, don't run this job on any branches
Diffstat (limited to 'jenkins-postgres.sh')
0 files changed, 0 insertions, 0 deletions