diff options
| author | Alessandro Ghedini <alessandro@ghedini.me> | 2013-02-15 13:12:03 +0100 |
|---|---|---|
| committer | Alessandro Ghedini <alessandro@ghedini.me> | 2013-02-15 13:12:16 +0100 |
| commit | 91f7335e1c779ba1d589add4fe2f58c9c580848f (patch) | |
| tree | cd2d9da0d6cf627b5486315a309297af0aa54db4 | |
| parent | fcd7733ded0d294ed91287a5188e8b7fac92104d (diff) | |
| download | libgit2-91f7335e1c779ba1d589add4fe2f58c9c580848f.tar.gz | |
push: fix typo in git_push_finish() doc
| -rw-r--r-- | include/git2/push.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/git2/push.h b/include/git2/push.h index 6dee46867..f92308144 100644 --- a/include/git2/push.h +++ b/include/git2/push.h @@ -85,7 +85,7 @@ GIT_EXTERN(int) git_push_update_tips(git_push *push); * Note: To check if the push was successful (i.e. all remote references * have been updated as requested), you need to call both * `git_push_unpack_ok` and `git_push_status_foreach`. The remote - * repository might refused to update some or all of the references. + * repository might have refused to update some or all of the references. * * @param push The push object * |