Use PUSHOPTS for git push if specified (I like -f)
Merge pull request #71 from willkelly/master

Merged automatically by jenkins after successful gate test