hao-li/AIDev-full

该数据集包含了多个配置，主要涉及GitHub的Pull Request相关数据。具体字段包括Pull Request的ID、编号、标题、用户信息、状态、创建时间、关闭时间、合并时间、仓库链接、仓库ID、HTML链接、正文内容、提交者代理等。数据集还包括了仓库、用户、相关问题和问题等类型的配置，以及针对人类工程师的Pull Request和任务类型的数据。

The dataset contains multiple configurations primarily focused on GitHub Pull Request data. Specific fields include Pull Request ID, number, title, user information, state, creation time, closure time, merge time, repository URL, repository ID, HTML URL, body content, and the agent of the committer. The dataset also includes configurations for repositories, users, related issues, and issues, as well as data for human engineers Pull Requests and task types.