On Fri, Mar 13, 2015 at 1:48 PM, Pascal Brand pascal.brand@linaro.org wrote:
+1 for GitHub. We can have an organization, as it is the case for OP-TEE. It allows multiple gatekeepers, and it looks less attached to someone but to a group of people. Could be "Tee-Dev".
+1 for GitHub, but I would say a developer account is enough for now. Jens, what do you think? I'm asking since you originated the code. Would you like to maintain that tree? Or would you prefer to leave it to someone else? (I know you are quite busy on other things). I can also take this role is everybody agrees.