Commit 1d75acf7b7d9b5fd17c6d8ae62e4092f02315582

Vicent Martí 2013-02-15T04:21:41

Merge pull request #1342 from ghedo/development push: fix typo in git_push_finish() doc

1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/include/git2/push.h b/include/git2/push.h
index 6dee468..f923081 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
  *