Page Comparison

The reason for line 7 is because by default git push does not push the tags. Tags have to be explicitly passed to git remote.

To push multiple tags simultaneously pass the --tags option to git push command. When another user clones or pulls a repo they will receive the new tags.