FIX: args of push_result_to_db changed from git_version to version

No match.