diff options
author | Zeger-Jan van de Weg <git@zjvandeweg.nl> | 2019-11-01 12:48:03 +0300 |
---|---|---|
committer | Zeger-Jan van de Weg <git@zjvandeweg.nl> | 2019-11-01 12:48:03 +0300 |
commit | b8c7a5d4f54724483462316a7b4b3951e1647525 (patch) | |
tree | 56bad4fd4735c6b83efdc8cca696198424248eae /danger | |
parent | 65913b93a904d24725e6d750f3e0e1c324f41397 (diff) |
Add 8bitlife to the GITALY_TEAM
Pavlo starts on Monday, and I'd like to prepare this change so I
don't forget.
Diffstat (limited to 'danger')
-rw-r--r-- | danger/labels/Dangerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/danger/labels/Dangerfile b/danger/labels/Dangerfile index 06ee0df8c..a2a442946 100644 --- a/danger/labels/Dangerfile +++ b/danger/labels/Dangerfile @@ -12,7 +12,7 @@ end required_labels = %w[devops::create] -GITALY_TEAM = %w[jacobvosmaer-gitlab johncai pokstad1 zj-gitlab] +GITALY_TEAM = %w[8bitlife jacobvosmaer-gitlab johncai pokstad1 zj-gitlab] required_labels << "group::gitaly" if GITALY_TEAM.include?(gitlab.mr_author) TYPE_TO_LABEL = { |