procedure for releasing to github

github release

#first checkout master
git checkout master

#merge the dev branch 
git merge dev

#get the log of commits and add them to the readme
git log --pretty=format:'%C(yellow)%h %Cred%ad %Cblue%an%Cgreen%d %Creset%s' --date=short

#tag the commit
tag -m "the tag comment" version_number commit
#example
#git tag -m "v0.0.5" v0.0.5 90ba964

#push tags to github
git push origin --tags

#push head to github
git push origin