aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github.cxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-05-28 09:37:16 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-15 09:05:28 +0200
commit22d1c16a61c0906301d38bd5a34115f2160b0d4a (patch)
tree66ec0aefa5f4c756aab448573d8bceb47a0277f9 /mod/mod-ci-github.cxx
parent3a4e5f47b01b551cc8d9be37274337182be16e53 (diff)
Add fields for PRs to service_data
Diffstat (limited to 'mod/mod-ci-github.cxx')
-rw-r--r--mod/mod-ci-github.cxx4
1 files changed, 3 insertions, 1 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx
index b09124f..573c1a1 100644
--- a/mod/mod-ci-github.cxx
+++ b/mod/mod-ci-github.cxx
@@ -555,7 +555,9 @@ namespace brep
iat->expires_at,
pr.installation.id,
move (pr.repository.node_id),
- pr.pull_request.head_sha)
+ pr.pull_request.head_sha,
+ pr.repository.clone_url,
+ pr.pull_request.number)
.json ());
optional<string> tid (