Use new library (PyGithub) which uses Github API v3 #13

Merged
merged 1 commit into from Oct 1, 2012

Conversation

Projects
None yet
2 participants
@jakebiesinger
Contributor

jakebiesinger commented Sep 24, 2012

Also, use or create github labels, including mapping "Type-Defect" -> "bug" and "Type-Enhancement" -> "enhancement".

@jakebiesinger

This comment has been minimized.

Show comment Hide comment
@jakebiesinger

jakebiesinger Sep 24, 2012

Contributor

Closes #12

Contributor

jakebiesinger commented Sep 24, 2012

Closes #12

joelpt added a commit that referenced this pull request Oct 1, 2012

Merge pull request #13 from jakebiesinger/master
Use new library (PyGithub) which uses Github API v3

@joelpt joelpt merged commit 150d630 into arthur-debert:master Oct 1, 2012

@joelpt

This comment has been minimized.

Show comment Hide comment
@joelpt

joelpt Oct 1, 2012

Collaborator

Works great, thanks.

Collaborator

joelpt commented Oct 1, 2012

Works great, thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment