Fix a minor bug in build_version.py.

Once the production release is tagged, push the tag to the remote
repository.

build_version.py

@@ -419,7 +419,8 @@ def start_release():
 
 
 def tag():
-    """Tag the release in the production branch.
+    """Tag the release in the production branch, locally and on the
+    remote repository.
 
     """
     print "Tag the release...",
@@ -434,6 +435,9 @@ def tag():
     msg = "Tag %s" % version
     git("tag", "-a", version, "-m", msg)
 
+    # push the tag on the server
+    git("push --tags")
+
 
 def web2py():
     """Produce the binary file for the web2py plugin.
@@ -518,7 +522,8 @@ if __name__ == '__main__':
     OPS.add_option("-t", "--tag",
                    action="store_true",
                    dest="tag",
-                   help="tag the release in the production branch.")
+                   help="tag the release in the production branch "
+                        "locally and on the remote repository.")
 
     OPS.add_option("-u", "--user-doc",
                    action="store_true",