Mining github pull requests

[Carlos Eduardo]

Hi,

I want to know if i can mine github pull requests, for example, search for specific words on pull requests comments.

Thanks.

[Robert Dyer]

Hi Carlos,

Unfortunately, at the moment Boa does not include any pull request data.

We had some initial code in place to store and query issue requests, but had not looked into PR data.

We would welcome a pull request adding such a new feature! :-)

- Robert

--
More information about Boa: http://boa.cs.iastate.edu/
---
You received this message because you are subscribed to the Google Groups "Boa Language and Infrastructure User Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to boa-user+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/boa-user/8c3d1038-fda6-49a9-aef7-e71f78988a27n%40googlegroups.com.

[Rajan, Hridesh [COM S]]

Good morning, Carlos.

 

Sorry for the delay in getting back to you.

 

Comments in the commit messages are accessible and you should be able to mine them. You will have to link to pull request outside Boa.

 

Hope that helps. Please let me know if you have any further questions.

 

Best wishes,

Hridesh

 

Dr. Hridesh Rajan

Professor and Department Chair

Department of Computer Science

Iowa State University of Science and Technology

https://www.cs.iastate.edu/hridesh/

Support Computer Science

--