Prepare Production_2013_Dec_12

please CREATE A TAG after pulling

Tag name: Production_2013_Dec_12
After synch'ing your local repo with the github.com one, please do the following in your shell to create and push the tag:
>> git tag -a Production_2013_Dec_12  -m 'prepare production december 2013'
>> git tag
[will list your tags]
>> git push origin Production_2013_Dec_12
[this will push the tag into github. alternatively, to push all local tags, use "git push origin --tags"]

Details are here: http://git-scm.com/book/en/Git-Basics-Tagging