Nachdem per Git ein ''"pull"'' durchgeführt wurde, empfiehlt es sich mindestens die geänderten Projekte einmal neu zu bauen.