| commit | 8c1d62ad89dac7d9de980c64eb8a266a2f9e92f9 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Thu Aug 10 12:07:20 2017 +0200 |
| committer | Filip Pytloun <filip@pytloun.cz> | Wed Aug 16 17:07:42 2017 +0200 |
| tree | e09e8419dbd6cbd0d58fef9f459b99960817b313 | |
| parent | 95765195e4a93e099a585475022d0a2de9e0bea3 [diff] |
Added github plugin Change-Id: I145e7b53597fef731a5be30c6f7abb0ec13525eb
diff --git a/Dockerfile b/Dockerfile index 424b01b..62c43bb 100644 --- a/Dockerfile +++ b/Dockerfile
@@ -88,6 +88,7 @@ extensible-choice-parameter \ gerrit-trigger \ git \ + github \ heavy-job \ ldap \ lockable-resources \