GITHUB, INC., REDMOND, Allemagne