* @summary This version of git push tries to push * then tries to pull if the push fails * and tries again to push if the pull succeeded
()
source not stored for this graph (policy: none)
no test coverage detected