tree 2a73f67a8698412d6520e149f489bbaf2e67fc62
parent 09bb8d2fbabaabf95ad946d030b738d28a84cb1c
author Ingo Fischer <github@fischer-ka.de> 1695424994 +0200
committer GitHub <noreply@github.com> 1695424994 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJlDiHiCRBK7hj4Ov3rIwAATl4IAJUbcQ6gHWaLq7pdHj3qd4oW
 PF1p6sKm8+wSUZf9lv8tEtsTFsVwYOhtbG+h108qfN42265t08N4PranQZOnr6K5
 jweqbjSgAzXq5zPW5NcV6kMCmXk2spRlFMoOIxBiJd8lAwBmUMmbhJZgJb6c299p
 U2gjg6TYpxLtY/y3y2v/6VAmRy62XTFIcFdJX5v2BCffjQFEvWGN8GQeWgegqIdQ
 Go5DIEElaYMTbM6nSPkPl6wIa6hI16vqmdAstHvPEY0lNjv1fBQ/Vu+0iJQHfqbv
 COzQTs49b3PA2T7rX/XAJ2aXsUJsSclCsK8xedDRjyxHG/hQxgOC3Zx9Gqv0/E4=
 =WFCe
 -----END PGP SIGNATURE-----
 

Docs: git pull is needed after syncing git modules (#29299)

* git pull is needed after syncing git modules

I followed the instructions to update the repo but still wondered why it dit not really do anything. Now I stumbled the secod time over the fact that tthe "clone" command in docs give you a full working repo, but the "synching modules" does not update them ... so git pull is needed.

I think it nmight be good to add that here in order to support users.

* Update BUILDING.md

* Update docs/guides/BUILDING.md

Co-authored-by: Boris Zbarsky <bzbarsky@apple.com>

* Restyled by prettier-markdown

---------

Co-authored-by: Boris Zbarsky <bzbarsky@apple.com>
Co-authored-by: Restyled.io <commits@restyled.io>