5eedea Add tags and push when doing "version-release"

Authored and Committed by konstantin 5 years ago
    Add tags and push when doing "version-release"
    
        
file modified
+4 -0