From a91ce02d70f9a60485404cfb5116dfb4675e0abf Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Thu, 4 Feb 2016 00:45:37 +0000
Subject: [PATCH] Added github

---
 _people/da-rocha-pinto.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index 395774a..e5e4851 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -6,6 +6,7 @@ image: /images/pedro.jpg
 position: PhD Student
 webpage: http://www.doc.ic.ac.uk/~pmd09/
 email: pmd09@doc.ic.ac.uk
+github: pedromdrp
 ---
 Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at
 Imperial. His research focusses on developing logics for verification of fine-grained concurrent programs.
-- 
GitLab