Removed boost library from sync-github-repos configuration