Skip to content

Db/git remote UI#10974

Merged
coffeegoddd merged 2 commits into
mainfrom
db/git-remote-ui
May 4, 2026
Merged

Db/git remote UI#10974
coffeegoddd merged 2 commits into
mainfrom
db/git-remote-ui

Conversation

@coffeegoddd
Copy link
Copy Markdown
Contributor

@coffeegoddd coffeegoddd commented Apr 30, 2026

This PR updates git remotes to push a branch visible on the Git remote's UI that contains a file with some info about the git ref used as the dolt remote. Addresses #10525

@coffeegoddd coffeegoddd requested a review from reltuk April 30, 2026 21:24
@coffeegoddd
Copy link
Copy Markdown
Contributor Author

@coffeegoddd DOLT

read_tests from_latency to_latency percent_change
covering_index_scan 0.55 0.54 -1.82
groupby_scan 9.73 9.91 1.85
index_join 1.86 1.82 -2.15
index_join_scan 1.32 1.32 0.0
index_scan 21.5 21.89 1.81
oltp_point_select 0.25 0.25 0.0
oltp_read_only 5.09 5.09 0.0
select_random_points 0.51 0.51 0.0
select_random_ranges 0.56 0.56 0.0
table_scan 21.5 21.89 1.81
types_table_scan 68.05 68.05 0.0
write_tests from_latency to_latency percent_change
oltp_delete_insert 6.32 6.32 0.0
oltp_insert 3.07 3.07 0.0
oltp_read_write 11.04 11.04 0.0
oltp_update_index 3.19 3.19 0.0
oltp_update_non_index 3.02 3.02 0.0
oltp_write_only 5.99 5.99 0.0
types_delete_insert 6.91 6.91 0.0

@coffeegoddd
Copy link
Copy Markdown
Contributor Author

@coffeegoddd DOLT

comparing_percentages
100.000000 to 100.000000
version result total
1e6f88b ok 5937471
version total_tests
1e6f88b 5937471
correctness_percentage
100.0

@coffeegoddd
Copy link
Copy Markdown
Contributor Author

@coffeegoddd DOLT

test_name from_latency_p95 to_latency_p95 percent_change
tpcc-scale-factor-1 53.85 54.83 1.82
test_name from_server_name from_server_version from_tps to_server_name to_server_version to_tps percent_change
tpcc-scale-factor-1 dolt 36fcc63 45.52 dolt 1e6f88b 44.2 -2.9

Copy link
Copy Markdown
Contributor

@reltuk reltuk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@coffeegoddd coffeegoddd merged commit dc8d494 into main May 4, 2026
45 of 48 checks passed
@coffeegoddd coffeegoddd deleted the db/git-remote-ui branch May 4, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants