push_tag.py

import os
import re
from jproperties import Properties

def main():
	build = Properties()
	with open('build.properties', 'rb') as f:
	    build.load(f , "utf-8")

	mc_version, mcv_meta = build['mc_version']
	version, v_meta = build['version']
	build_number, bn_meta = build['build_number']

	print('MC Version:', mc_version)
	print('Version:', version)
	print('Build Number', build_number)

	changelog = '-m "Changelog:" '
	with open('changelog.txt', 'r') as f:
		content = f.read()

		content = content.replace('"', '\'');
		changelog = changelog + re.sub(r'(- .+)\n?', '-m "\g<1>" ', content)
	
	os.system('git tag -a release-{}-{}-{} {}'.format(mc_version, version, build_number, changelog))
	
	build['build_number'] = str(int(build_number) + 1)
	with open("build.properties", "wb") as f:
	    build.store(f, encoding="utf-8")

	os.system('git commit -a -m build')
	os.system('git push origin master release-{}-{}-{}'.format(mc_version, version, build_number))

if __name__ == '__main__':
	main()