GitHub

recordFromGitHubPullRequest(
  event: GitHubPullRequestEvent,
  references?: ArtifactRef[],
  details?: GitHubPullRequestDetails
): RecordEvent

Bộ ánh xạ nhận dữ liệu đã được lấy sẵn. Sự kiện phải mô tả một pull request đã đóng và hợp nhất trong owner/repository có tên, với định danh pull request dạng số, tác giả, dấu thời gian và tham chiếu nhánh nguồn/đích. Chi tiết tùy chọn chứa dữ kiện tường minh về commit và tệp.

Record kết quả dùng:

• kind: 'github.pull_request.merged'
• occurred_at từ merged_at
• kho mã và ID cơ sở dữ liệu của pull request làm định danh nguồn
• ID ổn định từ recordId('github', 'pull_request', '<pull-request-id>:merged')
• tham chiếu hiện vật do bên gọi cung cấp, giữ nguyên

Tác giả pull request là chủ thể cấp cao nhất. Người hợp nhất khác tác giả được thêm làm chủ thể thứ hai. Người dùng GitHub có type chính xác là Bot được ánh xạ thành tác tử; các người dùng khác thành con người. ID chủ thể bên ngoài có dạng github:<numeric-id>.

data của Record chứa số, tiêu đề, trạng thái, tác giả pull request, người hợp nhất tùy chọn, dấu thời gian tạo/cập nhật/hợp nhất và tham chiếu cùng SHA của nhánh nguồn/đích. Khi có trong đầu vào, nó còn chứa tên nhãn, tham chiếu chủ thể được yêu cầu đánh giá, giá trị html_url dưới tên url, commit và tên tệp thay đổi kèm trạng thái, số dòng thêm và xóa.

Bộ ánh xạ kiểm tra sự kiện và chi tiết tùy chọn rồi chuyển cho createRecord. Đầu vào không hợp lệ ném LangDriftError với mã ARTIFACT_INVALID.

Nó không:

• nhận webhook hay gọi API GitHub
• xác thực hoặc cài GitHub App
• lấy commit, tệp, người dùng hay đánh giá
• trích xuất liên kết Spec hoặc Ticket từ văn xuôi
• suy ra tác động, Vision Target hay Drift

Dữ kiện GitHub trở thành Records. Mọi Drift Event vẫn là một diễn giải riêng, tường minh và có bằng chứng hỗ trợ.