Mining github pull requests

54 views
Skip to first unread message

Carlos Eduardo

unread,
Dec 20, 2021, 11:55:23 AM12/20/21
to Boa Language and Infrastructure User Forum
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

unread,
Dec 20, 2021, 8:26:19 PM12/20/21
to boa-...@googlegroups.com
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]

unread,
Dec 21, 2021, 11:30:07 AM12/21/21
to boa-...@googlegroups.com

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

--

Reply all
Reply to author
Forward
0 new messages