Update github tags with new commits

update-tags.md

Create a branch with the tag

	git branch {tagname}-branch {tagname}
	git checkout {tagname}-branch

Include the fix manually if it's just a change ....

	git add .
	git ci -m "Fix included" # or cherry-pick the commit, whatever is easier
	git cherry-pick {num_commit}

Delete and recreate the tag locally

	git tag -d {tagname}
	git tag {tagname}

Delete and recreate the tag remotely

	git push origin :{tagname} # deletes original remote tag
	git push origin {tagname} # creates new remote tag

This is based on https://gist.github.com/739288 thanks to nickfloyd for it

thanks