diff options
Diffstat (limited to 'job-cfg')
| -rwxr-xr-x | job-cfg/chroot-installation.yaml.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/job-cfg/chroot-installation.yaml.py b/job-cfg/chroot-installation.yaml.py index f859f735..8fc93158 100755 --- a/job-cfg/chroot-installation.yaml.py +++ b/job-cfg/chroot-installation.yaml.py @@ -25,6 +25,7 @@ targets = """ gnome kde kde-full + cinnamon lxde xfce full_desktop @@ -85,6 +86,8 @@ def get_recipients(target): return 'holger@layer-acht.org' # FIXME: this should be jenkins-maintainers@lists.somewhere elif target == 'haskell': return 'jenkins+debian-haskell holger@layer-acht.org pkg-haskell-maintainers@lists.alioth.debian.org' + elif target[:8] == 'cinnamon': + return 'jenkins+debian-cinnamon pkg-cinnamon-team@lists.alioth.debian.org holger@layer-acht.org' elif target[:10] == 'education-': return 'jenkins+debian-edu debian-edu-commits@lists.alioth.debian.org' else: @@ -113,6 +116,7 @@ spoken_names = {} spoken_names = { 'gnome': 'GNOME', 'kde': 'KDE plasma desktop', 'kde-full': 'complete KDE desktop', + 'cinnamon': 'Cinnamon', 'lxde': 'LXDE', 'xfce': 'Xfce', 'full_desktop': 'four desktop environments and the most commonly used applications and packages', |