libgit2/pygit2 — pull request #442 by wking (2014-10-28 04:09:29+00:00)
Title: docs/working-copy: Replace 'del index[path]' with index.remove(path)

Catch up with b12a5960 (Remove "del index[xxx]" from the API,
2013-05-02).