GITHUB, INC., REDMOND, Alemanha