diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-03 23:51:53 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-06-03 23:51:53 +0100 |
| commit | 6bdbb9215233c55840552994c3e0ba3d36d1406b (patch) | |
| tree | bca9bbd3b0f95f9d5ec48e1c7cf34153fcf10c41 | |
| parent | c13a24c9a06333b110ed37ada6e0fb757f62a779 (diff) | |
| download | gp-packaging-tools-6bdbb9215233c55840552994c3e0ba3d36d1406b.tar.bz2 | |
Explain permitted refs
| -rw-r--r-- | gp-stimulus-converter.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gp-stimulus-converter.conf b/gp-stimulus-converter.conf index 3666959..b6b549f 100644 --- a/gp-stimulus-converter.conf +++ b/gp-stimulus-converter.conf @@ -13,6 +13,7 @@ CONF = { kind = "gp-debian", path_prefix = "^/(lua%-scrypt|luxio|clod|lace|gall|supple|tongue|gitano)", + -- Only bother for tags and master for the Debian package builds permitted_refs = "^refs/(tags/.*|heads/master)$", jenkins_trigger_pattern = "gp-source-prepare-%s", jenkins_trigger_token = JENKINS_TRIGGER_TOKEN_GITANO, |