Force pushing git tag to repo

fixes #10