Ticket #56369: github-1.0-version.diff

_resources/port1.0/group/github-1.0.tcl

@@ -96 +96 @@
         name                ${github.project}
     }
 
-    version                 ${github.version}
+    if {![info exists PortInfo(version)]} {
+        version             ${github.version}
+    }
+
     homepage                ${github.homepage}
     git.url                 ${github.homepage}.git
     git.branch              [join ${github.tag_prefix}]${github.version}[join ${github.tag_suffix}]