Fix bug where we used pull model, even if push was specified
Clean compiler warning
Update version numbers and documentation to 0.7.2