diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 22:14:39 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 22:14:39 (GMT) |
commit | 48c02f188784d65bd501a907e572e041ed61dc15 (patch) | |
tree | ee0cccdeb5047c6e2262ba9b15fa87e1c2dcc35e /devbot/config.py | |
parent | 7df65ab65c28983f1792e1ac5f8326842b87ba2d (diff) |
Use the new git module in build
Diffstat (limited to 'devbot/config.py')
-rw-r--r-- | devbot/config.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index 513fe10..0f76644 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -33,6 +33,7 @@ class Module: self.name = info["name"] self.repo = info["repo"] self.branch = info.get("branch", "master") + self.tag = info.get("tag", None) self.auto_install = info.get("auto-install", False) self.options = info.get("options", []) |