The source project of this merge request has been removed.
Add instructions for pushing tags as well as branches
Current instructions will push the svn branches but not tags - add missing line to tags
Current instructions will push the svn branches but not tags - add missing line to tags