To accommodate for this behaviour of github:
http://support.github.com/discussions/site/2751-master-download-redirects-to-a-tagged-release-from-a-different-branch we should remove all release tags from the master branch. They should be in the stable branch only.