From e73c6397ec6821e112b54da5f2fb42562e821f10 Mon Sep 17 00:00:00 2001
From: Davanum Srinivas <davanum@gmail.com>
Date: Tue, 3 Jul 2018 12:04:02 -0400
Subject: [PATCH] Add github id for dims

Change-Id: I805ab8b055d2dcc336ae4c1674d3e399c433c7dd
---
 etc/default_data.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/default_data.json b/etc/default_data.json
index 372da99cf..ceb7c45a3 100644
--- a/etc/default_data.json
+++ b/etc/default_data.json
@@ -6462,6 +6462,7 @@
         },
         {
             "launchpad_id": "dims-v",
+            "github_id": "dims",
             "companies": [
                 {
                     "company_name": "IBM",