Git: ¿las tags locales no se exportan a github?

Somos dos personas (Alice y Bob) trabajando en un proyecto. Usamos git y github para queueborar.
Intento sintetizar mi pregunta de ahora en adelante:

[[email protected] projectX]$ git tag 0.1 0.2 0.3 [[email protected] project1]$ git add . -A && git commit -m "my commit description" && git push origin master ... [[email protected] projectX]$ git pull [[email protected] projectX]$ git tag <== EMPTY LIST... 

Quiero decir, esperaría que Bob compartiera las tags de Alice … ¿Qué extrañará Bob?

Solo me di count de que las tags no están disponibles en la interfaz web de Github, tampoco …

Necesitas usar la opción --tags :

 git push --tags origin master